From: Tuukka Lehtonen Date: Fri, 30 Sep 2016 13:32:51 +0000 (+0300) Subject: Merge commit '0580ea8b675c868685993b0780c9ecc31010f681' into master X-Git-Tag: v1.25.0~78 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=7b02cfbbab66342eac845e2877e7906cc1960ad2;p=simantics%2Fplatform.git Merge commit '0580ea8b675c868685993b0780c9ecc31010f681' into master refs #6726 --- 7b02cfbbab66342eac845e2877e7906cc1960ad2