Merge changes Ib64cf026,I238948da
[simantics/platform.git] / .gitreview
1 [gerrit]
2 defaultremote = origin