From c5d025c467c5c16d37eb24ce3e350a85079c7581 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 15 Dec 2022 08:22:26 +0000 Subject: [PATCH] Update lockfile.json (#3976) Co-authored-by: GitHub --- lockfile.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lockfile.json b/lockfile.json index f801df1d6..e308053b9 100644 --- a/lockfile.json +++ b/lockfile.json @@ -255,10 +255,10 @@ "revision": "8ad20059c6f128861c4506fff866150ffee1d6f4" }, "ocaml": { - "revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59" + "revision": "de07323343946c32759933cb3b7c78e821098cad" }, "ocaml_interface": { - "revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59" + "revision": "de07323343946c32759933cb3b7c78e821098cad" }, "ocamllex": { "revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed"