From c536886f2be1683ff36f0d56adf195895d3ba02c Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Fri, 7 Oct 2022 07:00:55 +0000
Subject: Update lockfile.json

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

diff --git a/lockfile.json b/lockfile.json
index 96003528..2668a863 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -192,7 +192,7 @@
     "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
   },
   "latex": {
-    "revision": "6fdf7d3f9edf094f4e5e39681ab5edf50e9a1ad6"
+    "revision": "2d5f17ebd12650bee06d4fb4333a205b0699ac40"
   },
   "ledger": {
     "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9"
-- 
cgit v1.2.3