From 909b5d26fddad5043e354046571e7c7353b53b61 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Sat, 23 Apr 2022 13:50:48 +0000
Subject: [PATCH] Update lockfile.json

---
 lockfile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lockfile.json b/lockfile.json
index 633c44722..5c2679991 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -168,7 +168,7 @@
     "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
   },
   "latex": {
-    "revision": "e550c23486b166cf93d7f063c96306b568737985"
+    "revision": "8c5d90e78fa58ee6acab465ffa9a53e8b7b2c69c"
   },
   "ledger": {
     "revision": "1050a25df55a62878102d10e524b5184b316b7ad"