From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Wed, 11 Apr 2018 09:13:43 +0000 (+0300)
Subject: Merge branch 'master' into private/db-threads
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=a1dd54cd8e3595e66c83ad0e2d935470a3567481;p=simantics%2Fplatform.git

Merge branch 'master' into private/db-threads

Change-Id: I76ec3b166f62c3c3aea3b267d133d5ce120d0bb8
---

a1dd54cd8e3595e66c83ad0e2d935470a3567481