From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Fri, 2 Jun 2017 13:39:28 +0000 (+0300)
Subject: (refs #7250) Merging master, minor CHR bugfixes
X-Git-Tag: v1.31.0~339^2~3
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=fad36d463b75c3a9944d875fc627c3533f6da74d;hp=fad36d463b75c3a9944d875fc627c3533f6da74d

(refs #7250) Merging master, minor CHR bugfixes

Change-Id: I11c76beee0e73ff78370f72bbfb88fdbdf6c7616
---