From: Hannu Niemistö <hannu.niemisto@semantum.fi>
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?p=simantics%2Fplatform.git;a=commitdiff_plain;h=4e9b33f24c2da14a92e008362e1b039dc2303679

Merge "Accept existential variables as record shorthand fields"
---

4e9b33f24c2da14a92e008362e1b039dc2303679