diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index e663067a..90347570 100644 --- a/lockfile.json +++ b/lockfile.json @@ -180,7 +180,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "9e74109271cedf933ea5b659ce7398c5ff8dc739" + "revision": "4c180d07747b574b1f9302272ad6db3dac4b83dd" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a" |