From: Reino Ruusu <reino.ruusu@semantum.fi>
Date: Mon, 4 Mar 2019 12:51:38 +0000 (+0200)
Subject: Merge remote-tracking branch 'origin/master' into release/1.35.1
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=8364294edf86a6915ae3fe7eade555d95fd7e435;p=simantics%2Fdistrict.git

Merge remote-tracking branch 'origin/master' into release/1.35.1

Change-Id: I0b959bf912db2802ecfb35e0caa4ec6b2234829c
---

8364294edf86a6915ae3fe7eade555d95fd7e435