Update lockfile.json (#2528)

Co-authored-by: GitHub <noreply@github.com>
This commit is contained in:
github-actions[bot] 2022-02-14 09:16:11 +00:00 committed by GitHub
parent 3e99302082
commit cf0ee44fc1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -150,7 +150,7 @@
"revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569"
},
"lalrpop": {
"revision": "f50b43b5c37eb1029cdcc1d05104aa797ced4c72"
"revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
},
"latex": {
"revision": "323b609de40b7729073482a3c59de76cfba7744f"