]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit 'b3da313'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 16 Nov 2016 13:50:07 +0000 (15:50 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 16 Nov 2016 13:50:07 +0000 (15:50 +0200)
Sync git svn branch with SVN repository r33392.

refs #6751


Trivial merge