]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit '8e4e41fa135641b23f68e205832e0696951c5f63'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 19 Sep 2016 14:10:17 +0000 (17:10 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 19 Sep 2016 14:10:17 +0000 (17:10 +0300)

Trivial merge