From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Tue, 20 Oct 2020 21:41:34 +0000 (+0300)
Subject: Merge branch 'bug-623' into release/1.43.0.1
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=0234cac5baaeb2f1a435b916c7497bb0c563b0aa;p=simantics%2Fplatform.git

Merge branch 'bug-623' into release/1.43.0.1

Change-Id: Ib039644b70ecf8f9c4fc13178a06065d8ea38de9
---

0234cac5baaeb2f1a435b916c7497bb0c563b0aa