From: Tuukka Lehtonen Date: Wed, 16 Nov 2016 13:50:07 +0000 (+0200) Subject: Merge commit 'b3da313' X-Git-Tag: v1.25.0~51 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=86adc86522decdf79259743cde5ec3688af3d908;p=simantics%2Fplatform.git Merge commit 'b3da313' Sync git svn branch with SVN repository r33392. refs #6751 --- 86adc86522decdf79259743cde5ec3688af3d908