From: Jani Simomaa Date: Wed, 5 Sep 2018 06:49:00 +0000 (+0300) Subject: Merge branch 'master' of ssh://gerrit.simantics.org:29418/simantics/platform X-Git-Tag: v1.43.0~136^2~387 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=534cb16631226d5c3255a3997f7a67f469a20bbd;p=simantics%2Fplatform.git Merge branch 'master' of ssh://gerrit.simantics.org:29418/simantics/platform --- 534cb16631226d5c3255a3997f7a67f469a20bbd