]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'master' of ssh://villberg@gerrit.simantics.org:29418/simantics/platform...
authorAntti Villberg <antti.villberg@semantum.fi>
Sat, 27 Oct 2018 03:37:25 +0000 (06:37 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Sat, 27 Oct 2018 03:37:25 +0000 (06:37 +0300)

Trivial merge