From: Antti Villberg <antti.villberg@semantum.fi>
Date: Fri, 11 May 2018 05:17:14 +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=061c58a485fbfda0732a8dc597582762a97012e4;p=simantics%2Fplatform.git

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

061c58a485fbfda0732a8dc597582762a97012e4