From: Antti Villberg Date: Thu, 1 Nov 2018 06:13:02 +0000 (+0200) Subject: Merge branch 'change/2402/1' into private/balas3 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=8975cec64c881e380febb14b92eccdd893ab2453;p=simantics%2Fplatform.git Merge branch 'change/2402/1' into private/balas3 --- 8975cec64c881e380febb14b92eccdd893ab2453