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