From 5d6f095fbd9b803870777b77c42e4a9df236dd67 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 27 Mar 2019 23:43:36 +0100 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 9303e67..c77f22c 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 9303e67aa71d28b2a95d93f7ef910f6e714069e6 +Subproject commit c77f22cb10f25d9c3e29801760849c81b8595407 -- cgit v1.2.3