From c6d46504ba72a25b41a74397b1728a3677f8bb89 Mon Sep 17 00:00:00 2001 From: GitHub Date: Mon, 14 Mar 2022 06:44:55 +0000 Subject: [PATCH] Update lockfile.json --- lockfile.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lockfile.json b/lockfile.json index 903475701..7a42ebb54 100644 --- a/lockfile.json +++ b/lockfile.json @@ -180,7 +180,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "4c180d07747b574b1f9302272ad6db3dac4b83dd" + "revision": "451a61ef80682f2e8a33ce2427028d3a5788c137" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a"