diff --git a/lockfile.json b/lockfile.json index 87416e4ef..a168dc4a0 100644 --- a/lockfile.json +++ b/lockfile.json @@ -213,7 +213,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "1ec3941b971dccfa36cb1cd6221a2e4a1cd3e250" + "revision": "dfb9bbb72f2198e73cbac67035b9e517012d4674" }, "ledger": { "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9"