From b1ef4033222fa86cbe5c6a0abf70098f157546d4 Mon Sep 17 00:00:00 2001 From: GitHub Date: Tue, 8 Feb 2022 15:28:33 +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 f88d8b320..d14448b36 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "75d464c88a8d5e0e1ceae186be1d7a61eb663c3a" + "revision": "b7f879eaf9f20852f6b670439154b0128fbb6558" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a"