From: Antti Villberg Date: Wed, 26 Sep 2018 10:10:27 +0000 (+0300) Subject: Merge branch 'change/2080/9' into private/balas X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=refs%2Fheads%2Fprivate%2Fbalas;p=simantics%2Fplatform.git Merge branch 'change/2080/9' into private/balas --- 686614d506a279250ecc6f3eee64ee488f08037d