From: Tuukka Lehtonen Date: Fri, 9 Sep 2016 13:05:42 +0000 (+0300) Subject: Merge branch 'master' of ssh://www.simantics.org:29418/simantics/platform X-Git-Tag: v1.25.0~130 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=b5c834f08accf6d283d88489e89c23da2a485fe2;p=simantics%2Fplatform.git Merge branch 'master' of ssh://www.simantics.org:29418/simantics/platform --- b5c834f08accf6d283d88489e89c23da2a485fe2