From 8112d9bc90011c368761f5b0b1945ed9a7798838 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Sun, 5 Jun 2022 09:51:21 +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 f297e2f51..a81953f59 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -174,7 +174,7 @@
     "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
   },
   "latex": {
-    "revision": "104a5dea952d5f00150afd6a8436e6cad95ef718"
+    "revision": "9cbe0c6be9455b6d3be19f51daef6d08732abab1"
   },
   "ledger": {
     "revision": "1050a25df55a62878102d10e524b5184b316b7ad"