From: Tuukka Lehtonen Date: Fri, 12 Aug 2016 21:41:18 +0000 (+0300) Subject: Merge branch 'master' of ssh://www.simantics.org:29417/simantics/platform X-Git-Tag: v1.25.0~183 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=6e1a95d974ec09db0f8c52fed5dbb0211a232edb;p=simantics%2Fplatform.git Merge branch 'master' of ssh://www.simantics.org:29417/simantics/platform --- 6e1a95d974ec09db0f8c52fed5dbb0211a232edb