From: jsimomaa <jani.simomaa@gmail.com>
Date: Fri, 18 May 2018 06:13:10 +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=378f6f82ce88c8ba2ba9f7345cb25679b508bae5;p=simantics%2Fplatform.git

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

gitlab #5
gitlab #6

Change-Id: Ic26d1d4652cd918d1c235fc5b30e133be5b30854
---

378f6f82ce88c8ba2ba9f7345cb25679b508bae5