diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index eb31b707e..117750ec4 100644 --- a/lockfile.json +++ b/lockfile.json @@ -243,7 +243,7 @@ "revision": "6b71a810c0acd49b980c50fc79092561f7cee307" }, "norg": { - "revision": "dfac5ad2740a79b18ae849590a924e7bad3f1b23" + "revision": "8ad20059c6f128861c4506fff866150ffee1d6f4" }, "ocaml": { "revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59" |