From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Sun, 25 Oct 2020 16:45:55 +0000 (+0200)
Subject: Merge branch 'bug-623' into release/1.43.0
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=85cd1220a9903952e9eadda3eac95beb6ceb8036;p=simantics%2Fplatform.git

Merge branch 'bug-623' into release/1.43.0

Change-Id: I9caed38518ea08bd0a493a7343af5a0ce3affe6d
---

85cd1220a9903952e9eadda3eac95beb6ceb8036