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