]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'private/db-threads' of ssh://villberg@www.simantics.org:29418/simantics...
authorAntti Villberg <antti.villberg@semantum.fi>
Mon, 23 Apr 2018 06:05:49 +0000 (09:05 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Mon, 23 Apr 2018 06:05:49 +0000 (09:05 +0300)

Trivial merge