From d7938a75301d8a1bb870505a8a138d4bdf143632 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 11 Apr 2020 14:04:22 +0100 Subject: Update spec to v15 --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index 99d84e4..91d88e0 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 99d84e47ed9c64cee9c48212ca8f2af9320cdda6 +Subproject commit 91d88e0a7938387cd8eb3cfaf091bd79d312168f -- cgit v1.2.3