From c28f3eeb42e9e15f79016cc18270361c3e7bf5ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= <adrian@suse.de>
Date: Wed, 12 Jul 2023 09:00:29 +0200
Subject: [PATCH] update to current state

---
 .gitmodules  | 3 +++
 ocaml-menhir | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 ocaml-menhir

diff --git a/.gitmodules b/.gitmodules
index 317aa20..2926701 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7804,3 +7804,6 @@
 [submodule "mcelog"]
 	path = mcelog
 	url = ../../pool/mcelog
+[submodule "ocaml-menhir"]
+	path = ocaml-menhir
+	url = ../../pool/ocaml-menhir
diff --git a/ocaml-menhir b/ocaml-menhir
new file mode 160000
index 0000000..4738948
--- /dev/null
+++ b/ocaml-menhir
@@ -0,0 +1 @@
+Subproject commit 473894842211844fe9e9fd49acd206674c15cc1b