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

refs #6459


Trivial merge