]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit 'b809a171b6dfb81ed9ef9e84870dcbcbc5912f0e'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 13 Sep 2016 15:09:15 +0000 (18:09 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 13 Sep 2016 15:09:15 +0000 (18:09 +0300)

Trivial merge