From: Tuukka Lehtonen Date: Wed, 16 Nov 2016 07:44:22 +0000 (+0200) Subject: Merge commit '5da68e7' X-Git-Tag: v1.25.0~52 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=1956b6ed85e1df65c4df58e6cb0ac6aa296e6939;p=simantics%2Fplatform.git Merge commit '5da68e7' Sync git svn branch with SVN repository r33390. refs #6809 --- 1956b6ed85e1df65c4df58e6cb0ac6aa296e6939