]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Code Review / simantics / platform.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | compact (merge: 73884c7 e831106)
Merge "Fixed ProfileObserver.update race with multiple query threads"
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 17 Mar 2020 10:54:14 +0000 (10:54 +0000)
committerGerrit Code Review <gerrit2@simantics>
Tue, 17 Mar 2020 10:54:14 +0000 (10:54 +0000)

Trivial merge
Simantics Platform SDK.