]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit 'ad8333027322fda6b9a8a524c7a7e15a54c52f38'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 1 Sep 2016 11:09:40 +0000 (14:09 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 1 Sep 2016 11:09:40 +0000 (14:09 +0300)

Trivial merge