]> 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: ded7845 9ad477f)
Merge remote-tracking branch 'origin/master' into private/db-threads 87/1787/1
authorjsimomaa <jani.simomaa@gmail.com>
Fri, 18 May 2018 06:13:10 +0000 (09:13 +0300)
committerjsimomaa <jani.simomaa@gmail.com>
Fri, 18 May 2018 06:13:41 +0000 (09:13 +0300)
gitlab #5
gitlab #6

Change-Id: Ic26d1d4652cd918d1c235fc5b30e133be5b30854


Trivial merge
Simantics Platform SDK.