From: Antti Villberg Date: Thu, 9 Jan 2020 09:45:37 +0000 (+0200) Subject: Merge branch 'master' into private/antti2 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=89539b3b9d550028d15c6abcc9ecee3423d5a4a7;p=simantics%2Fplatform.git Merge branch 'master' into private/antti2 --- 89539b3b9d550028d15c6abcc9ecee3423d5a4a7