From: Tuukka Lehtonen Date: Mon, 5 Sep 2016 20:09:42 +0000 (+0300) Subject: Merge commit '15f7f51' X-Git-Tag: v1.25.0~137 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=87b6edd49f4370516d7f37bcb34c91324b95052c;hp=--cc;p=simantics%2Fplatform.git Merge commit '15f7f51' --- 87b6edd49f4370516d7f37bcb34c91324b95052c