From: Jussi Koskela <jussi.koskela@semantum.fi>
Date: Fri, 3 May 2019 10:30:13 +0000 (+0300)
Subject: Workaround to profile updating problem
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=d98509432485dc1bcf5d8fc2c9fe43d8c34a133d;hp=d98509432485dc1bcf5d8fc2c9fe43d8c34a133d;p=simantics%2Fplatform.git

Workaround to profile updating problem

Change-Id: I02eb507702eb1bacb7f1e5016b2fe26513e4b190
---