]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit '3efd7d44a55ae1fff284a1826e7c9afe27e0815e'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 20 Oct 2016 11:49:54 +0000 (14:49 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 20 Oct 2016 11:49:54 +0000 (14:49 +0300)
refs #6600
refs #6774
refs #6780


Trivial merge