]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit 'a2a4242'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 7 Nov 2016 19:43:34 +0000 (21:43 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 7 Nov 2016 19:43:34 +0000 (21:43 +0200)
Sync git svn branch with SVN repository r33366.

refs #6793


Trivial merge