From 3008f5711fbe40d1930ebc36e602c29d3fbec3eb Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 20:48:55 +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 f12c7b5..8fff4cb 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit f12c7b5c37b9667162255d9562c811896965effd
+Subproject commit 8fff4cb42e6c4d1005205609957b785a3d11f8d2
-- 
cgit v1.2.3


From 2ad5973a32099ad8f79f247adc9d03340e2df4ab Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 21:36:53 +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 8fff4cb..70c0498 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 8fff4cb42e6c4d1005205609957b785a3d11f8d2
+Subproject commit 70c049883d2a6c9662511f166f5a359b7664d0d1
-- 
cgit v1.2.3


From b85967fbe27505ae932be3b640dff5260fd32662 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 22:15:49 +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 70c0498..034d48a 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 70c049883d2a6c9662511f166f5a359b7664d0d1
+Subproject commit 034d48aa2d9433c4af574165483b3e7963824835
-- 
cgit v1.2.3


From 016893b00fcd916099e0349affc124fdd6275c67 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 22:18:36 +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 034d48a..ee528e5 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 034d48aa2d9433c4af574165483b3e7963824835
+Subproject commit ee528e5a89f78bce2c28167b5dfb7e7ea6b3d6c7
-- 
cgit v1.2.3