From 79a2eb8c2b957c79904a5001c01d6194ce141f93 Mon Sep 17 00:00:00 2001 From: "sergei.winitzki" Date: Mon, 20 Nov 2023 21:24:40 +0100 Subject: [PATCH] update dhall master --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dhall-lang b/dhall-lang index b27d2c89..b82e9fb6 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit b27d2c89bc03f80a30b3e79810cee6c113ee3ca2 +Subproject commit b82e9fb6b826c972664d8e33cf65bf923e229f37