From: Antti Villberg <antti.villberg@semantum.fi>
Date: Mon, 23 Apr 2018 06:58:47 +0000 (+0300)
Subject: Merge remote-tracking branch 'origin/master' into private/db-threads
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=9fcf23f51b59d737a05178832760a8dab950eb8d;p=simantics%2Fplatform.git

Merge remote-tracking branch 'origin/master' into private/db-threads
---

9fcf23f51b59d737a05178832760a8dab950eb8d