From: Antti Villberg Date: Sat, 27 Oct 2018 03:37:25 +0000 (+0300) Subject: Merge branch 'master' of ssh://villberg@gerrit.simantics.org:29418/simantics/platform... X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=81520c987689b19949edce7fea0ea76e367f4e95;p=simantics%2Fplatform.git Merge branch 'master' of ssh://villberg@gerrit.simantics.org:29418/simantics/platform into master3 --- 81520c987689b19949edce7fea0ea76e367f4e95