From: Tuukka Lehtonen Date: Sun, 18 Dec 2016 22:37:44 +0000 (+0200) Subject: Merge commit 'c6133d6' into release/1.25.0 X-Git-Tag: v1.25.0~2 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=5aff82d4af2b5ac54ed096a6bd5af96150bc4ef7;p=simantics%2Fplatform.git Merge commit 'c6133d6' into release/1.25.0 --- 5aff82d4af2b5ac54ed096a6bd5af96150bc4ef7