From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Tue, 17 Mar 2020 10:54:14 +0000 (+0000)
Subject: Merge "Fixed ProfileObserver.update race with multiple query threads"
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=15af8a20abe8b2ba24b52c9da8bce6c92351dc43;p=simantics%2Fplatform.git

Merge "Fixed ProfileObserver.update race with multiple query threads"
---

15af8a20abe8b2ba24b52c9da8bce6c92351dc43