From: Tuukka Lehtonen Date: Mon, 7 Nov 2016 19:43:34 +0000 (+0200) Subject: Merge commit 'a2a4242' X-Git-Tag: v1.25.0~62 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=602614f4502aae85ecf3967abb7152d2d62903e3;p=simantics%2Fplatform.git Merge commit 'a2a4242' Sync git svn branch with SVN repository r33366. refs #6793 --- 602614f4502aae85ecf3967abb7152d2d62903e3