]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Code Review / simantics / platform.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: 9fcf23f e3cd3cd)
Merge remote-tracking branch 'origin/master' into private/db-threads
authorAntti Villberg <antti.villberg@semantum.fi>
Fri, 11 May 2018 05:17:14 +0000 (08:17 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Fri, 11 May 2018 05:17:14 +0000 (08:17 +0300)

Trivial merge
Simantics Platform SDK.