diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-02-14 09:16:11 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-14 09:16:11 +0000 |
| commit | cf0ee44fc1d65fd8b832fe3d129b9232fd5f30b8 (patch) | |
| tree | 608158305129961c555a1f9cfa8b592fc24ccdb7 | |
| parent | 3e99302082489b36480e3b1eeceed763331e790f (diff) | |
Update lockfile.json (#2528)
Co-authored-by: GitHub <noreply@github.com>
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 6b893b98..b903ad2b 100644 --- a/lockfile.json +++ b/lockfile.json @@ -150,7 +150,7 @@ "revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569" }, "lalrpop": { - "revision": "f50b43b5c37eb1029cdcc1d05104aa797ced4c72" + "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { "revision": "323b609de40b7729073482a3c59de76cfba7744f" |