(refs #7250) Merging master, minor CHR bugfixes
[simantics/platform.git] / .gitreview
1 [gerrit]
2 defaultremote = origin