From 4ecc6f8ce12c68c56d45c8bda5e1ed0bd46b7052 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Wed, 26 Oct 2022 06:53:27 +0000
Subject: Update lockfile.json

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

diff --git a/lockfile.json b/lockfile.json
index 458fd2448..dbdc1ce05 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -195,7 +195,7 @@
     "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
   },
   "latex": {
-    "revision": "2d5f17ebd12650bee06d4fb4333a205b0699ac40"
+    "revision": "da49fb3cc373424d2821650007884cb8760c5ca5"
   },
   "ledger": {
     "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9"
-- 
cgit v1.2.3-70-g09d2