]> 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: 24bb0b9 69c4956)
Merge remote-tracking branch 'origin/master' into private/db-threads
authorAntti Villberg <antti.villberg@semantum.fi>
Mon, 23 Apr 2018 06:58:47 +0000 (09:58 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Mon, 23 Apr 2018 06:58:47 +0000 (09:58 +0300)

Trivial merge
Simantics Platform SDK.