From: Tuukka Lehtonen Date: Thu, 1 Sep 2016 11:09:40 +0000 (+0300) Subject: Merge commit 'ad8333027322fda6b9a8a524c7a7e15a54c52f38' X-Git-Tag: v1.25.0~142 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=c41f5d003bd0e73989f0f71cdd01a2a63b3b626d;p=simantics%2Fplatform.git Merge commit 'ad8333027322fda6b9a8a524c7a7e15a54c52f38' --- c41f5d003bd0e73989f0f71cdd01a2a63b3b626d