aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lockfile.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json
index f88d8b320..d14448b36 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -174,7 +174,7 @@
"revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d"
},
"norg": {
- "revision": "75d464c88a8d5e0e1ceae186be1d7a61eb663c3a"
+ "revision": "b7f879eaf9f20852f6b670439154b0128fbb6558"
},
"ocaml": {
"revision": "23d419ba45789c5a47d31448061557716b02750a"