From 7336787af41adc4dfe650f7c7f10f9c7c3c011db Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 4 Apr 2019 15:41:17 +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 c77f22c..1f87b02 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit c77f22cb10f25d9c3e29801760849c81b8595407 +Subproject commit 1f87b0285ffc098a3ef05c93a8186c32736bd4a6 -- cgit v1.2.3