Update lockfile.json

This commit is contained in:
GitHub 2022-09-18 06:51:47 +00:00 committed by Christian Clason
parent 8689f61270
commit 539bed2f44

View file

@ -228,7 +228,7 @@
"revision": "6b71a810c0acd49b980c50fc79092561f7cee307"
},
"norg": {
"revision": "31990db6340084cf7770fdadcb3c1d6a438f263a"
"revision": "5d9c76b5c9927955f7c5d5d946397584e307f69f"
},
"ocaml": {
"revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59"