]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'bug-623' into release/1.43.0.1 release/1.43.0.1
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 20 Oct 2020 21:41:34 +0000 (00:41 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 20 Oct 2020 21:41:34 +0000 (00:41 +0300)
Change-Id: Ib039644b70ecf8f9c4fc13178a06065d8ea38de9


Trivial merge