From cf0ee44fc1d65fd8b832fe3d129b9232fd5f30b8 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 14 Feb 2022 09:16:11 +0000 Subject: Update lockfile.json (#2528) Co-authored-by: GitHub --- lockfile.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lockfile.json b/lockfile.json index 6b893b981..b903ad2b3 100644 --- a/lockfile.json +++ b/lockfile.json @@ -150,7 +150,7 @@ "revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569" }, "lalrpop": { - "revision": "f50b43b5c37eb1029cdcc1d05104aa797ced4c72" + "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { "revision": "323b609de40b7729073482a3c59de76cfba7744f" -- cgit v1.2.3-70-g09d2