From: Tuukka Lehtonen Date: Fri, 8 Mar 2019 11:30:18 +0000 (+0000) Subject: Merge "Warn for existential variables in head pattern referred only once" into releas... X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=8a9360544c63eaa37fc5b23c7ef8dcb30e0af7e5;p=simantics%2Fplatform.git Merge "Warn for existential variables in head pattern referred only once" into release/1.35.1 --- 8a9360544c63eaa37fc5b23c7ef8dcb30e0af7e5