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)
commit15af8a20abe8b2ba24b52c9da8bce6c92351dc43
treec75d869c9db7a8d936093232e909c90e942a65da
parent73884c78cf2695329aa3b6559c4c6a196792ac9b
parente83110633e844749640f830e186423643e1b7cbe
Merge "Fixed ProfileObserver.update race with multiple query threads"