]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Fixed ProfileObserver to remove entry from correct map 97/2297/1
authorJussi Koskela <jussi.koskela@semantum.fi>
Thu, 11 Oct 2018 06:57:48 +0000 (09:57 +0300)
committerJussi Koskela <jussi.koskela@semantum.fi>
Thu, 11 Oct 2018 06:57:48 +0000 (09:57 +0300)
gitlab #145

Change-Id: Iab891836783d5de591ec686577769ed480dd5752


No differences found