From 0c9831e6a851e8f91bddc33e7a163f49d60aa033 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 7 Aug 2019 16:32:43 +0200 Subject: Update dhall-lang submodule --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index f4ee1fb..95cfb88 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit f4ee1fb8f8165c6d68d5f7f4da609483839271db +Subproject commit 95cfb88db2f79b3c4bf61c76d9e9869d149cdefd -- cgit v1.2.3