]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit 'd11239c402eec37ba28edcfa7ea6ca7c1f01147f'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 15 Sep 2016 18:19:22 +0000 (21:19 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 15 Sep 2016 18:19:22 +0000 (21:19 +0300)

Trivial merge