From: Tuukka Lehtonen Date: Fri, 9 Sep 2016 13:05:22 +0000 (+0300) Subject: Merge commit '0e8cf1e' X-Git-Tag: v1.25.0~131 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=23ea9f9235f428865dc4cd3bff6d3dd9e3174653;p=simantics%2Fplatform.git Merge commit '0e8cf1e' --- 23ea9f9235f428865dc4cd3bff6d3dd9e3174653