From: Hannu Niemistö Date: Thu, 12 Apr 2018 10:04:44 +0000 (+0300) Subject: Merge "Refactoring CHR handling code" X-Git-Tag: v1.43.0~136^2~496 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=2c23dfe282591fe42aa9e755eace6bc4e3a86b29;p=simantics%2Fplatform.git Merge "Refactoring CHR handling code" --- 2c23dfe282591fe42aa9e755eace6bc4e3a86b29