]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge commit '5da68e7'
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 16 Nov 2016 07:44:22 +0000 (09:44 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 16 Nov 2016 07:44:22 +0000 (09:44 +0200)
Sync git svn branch with SVN repository r33390.

refs #6809


Trivial merge