]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'bug-623' into release/1.43.0
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Fri, 16 Oct 2020 19:15:12 +0000 (22:15 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Fri, 16 Oct 2020 19:15:12 +0000 (22:15 +0300)
Change-Id: I012a534f2ae2f440d09b83cf4c34a9966297154e


Trivial merge