]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'change/2080/9' into private/balas private/balas
authorAntti Villberg <antti.villberg@semantum.fi>
Wed, 26 Sep 2018 10:10:27 +0000 (13:10 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Wed, 26 Sep 2018 10:10:27 +0000 (13:10 +0300)

Trivial merge