From dc725d7d6c30227b1f22ae098c224ffe49bc21d6 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 20 Sep 2019 22:09:22 +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 7639b4e..10671c8 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 7639b4ed2fd457bfa77daabfd329fea3b25581c9
+Subproject commit 10671c80af436cfe8719863be920894853e5e8f5
-- 
cgit v1.2.3


From d022cd7e807104ffed60a76058c4ccd478ac187a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 20 Sep 2019 22:12:56 +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 10671c8..781961f 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 10671c80af436cfe8719863be920894853e5e8f5
+Subproject commit 781961f4694667667f093d28e7b35569c67678c4
-- 
cgit v1.2.3