From 391bdccdf06696c789730204486761ac9202dd32 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 11 Feb 2022 18:24:24 +0100 Subject: [PATCH] Update lockfile.json (#2514) Co-authored-by: GitHub --- lockfile.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lockfile.json b/lockfile.json index 103ffe014..dfebaadf2 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "6ffb6dc652d4d5c59de73b8770fe8c9020c6cc03" + "revision": "456ef20d37825e42e1cd36320c8897ed0aec80be" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a" @@ -273,7 +273,7 @@ "revision": "e8e8e8dc2745840b036421b4e43286750443cb13" }, "vala": { - "revision": "2d9530dab8067b32b66165f691b6252c8975147b" + "revision": "a28c1a318f037ae47236491b324e5976ed857f67" }, "verilog": { "revision": "8f6b1f357d1231c420404b5f7a368a73c25adfa2"