]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'change/2402/1' into private/balas3
authorAntti Villberg <antti.villberg@semantum.fi>
Thu, 1 Nov 2018 06:13:02 +0000 (08:13 +0200)
committerAntti Villberg <antti.villberg@semantum.fi>
Thu, 1 Nov 2018 06:13:02 +0000 (08:13 +0200)

Trivial merge