Merge commit 'ad8333027322fda6b9a8a524c7a7e15a54c52f38'
[simantics/platform.git] / .gitreview
1 [gerrit]
2 defaultremote = origin