From: Hannu Niemistö Date: Tue, 11 Apr 2017 09:30:14 +0000 (+0300) Subject: Merge "Accept existential variables as record shorthand fields" X-Git-Tag: v1.29.0~112 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=4e9b33f24c2da14a92e008362e1b039dc2303679;p=simantics%2Fplatform.git Merge "Accept existential variables as record shorthand fields" --- 4e9b33f24c2da14a92e008362e1b039dc2303679