From: Tuukka Lehtonen Date: Mon, 7 Nov 2016 20:34:54 +0000 (+0200) Subject: Merge commit 'd186091' X-Git-Tag: v1.25.0~61 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=f8576d4d2b3b30d76db552d624fc9f087b8940bd;hp=f8576d4d2b3b30d76db552d624fc9f087b8940bd;p=simantics%2Fplatform.git Merge commit 'd186091' Sync git svn branch with SVN repository r33368. refs #6459 ---