From: Tuukka Lehtonen Date: Tue, 20 Sep 2016 07:34:24 +0000 (+0300) Subject: Merge commit 'a371783' X-Git-Tag: v1.25.0~106 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=1072d7dea84ab8007d7912cc7533c4d6e6a51948;p=simantics%2Fplatform.git Merge commit 'a371783' --- 1072d7dea84ab8007d7912cc7533c4d6e6a51948