]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'master' into private/db-threads
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 11 Apr 2018 09:13:43 +0000 (12:13 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 11 Apr 2018 09:13:43 +0000 (12:13 +0300)
Change-Id: I76ec3b166f62c3c3aea3b267d133d5ce120d0bb8


Trivial merge