From 4e5afc6bb8c4ac673e5bcb62038cc2a8a1975ebd Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Tue, 11 Jan 2022 23:10:13 +0000
Subject: Update lockfile.json

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

(limited to 'lockfile.json')

diff --git a/lockfile.json b/lockfile.json
index 285ddd9dd..29674fbdf 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -141,7 +141,7 @@
     "revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569"
   },
   "latex": {
-    "revision": "2c0d03a36ee979bc697f6a9dd119174cf0ef15e0"
+    "revision": "6f796b700c69a8af28132e84ed6d0c8f0c17a5e2"
   },
   "ledger": {
     "revision": "0cdeb0e51411a3ba5493662952c3039de08939ca"
-- 
cgit v1.2.3-70-g09d2