From 1ce85705434c69d6b8350ab336c7a7065a54be98 Mon Sep 17 00:00:00 2001 From: Noah Hellman Date: Tue, 29 Nov 2022 20:45:30 +0100 Subject: [PATCH] update --- modules/djot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/djot b/modules/djot index 4b3bf26..97eb795 160000 --- a/modules/djot +++ b/modules/djot @@ -1 +1 @@ -Subproject commit 4b3bf26dde0fa46a5d22b536154e3634619ef3a4 +Subproject commit 97eb7955346617da88545e38a44b81957af51651