From 10d57b3ec14cac0b6b759e1eb5594617b8a7e883 Mon Sep 17 00:00:00 2001 From: GitHub Date: Wed, 11 May 2022 18:38:37 +0000 Subject: Update lockfile.json --- lockfile.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lockfile.json b/lockfile.json index ae868575..59403533 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "692215e99fafd9a2900acacaf2bb730143505359" + "revision": "3b370b5ca3948312738b4f27b2a12e4bb58907a2" }, "ledger": { "revision": "1050a25df55a62878102d10e524b5184b316b7ad" -- cgit v1.2.3