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?p=simantics%2Fplatform.git;a=commitdiff_plain;h=602614f4502aae85ecf3967abb7152d2d62903e3;hp=-c Merge commit 'a2a4242' Sync git svn branch with SVN repository r33366. refs #6793 --- 602614f4502aae85ecf3967abb7152d2d62903e3