update to current state

2023-07-12 09:00:29 +02:00 · 2023-07-12 09:00:29 +02:00 · c28f3eeb42
commit c28f3eeb42
parent e57dc8207f
2 changed files with 4 additions and 0 deletions
--- 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
--- a/1
+++ b/1
@ -0,0 +1 @@
+Subproject commit 473894842211844fe9e9fd49acd206674c15cc1b
				`@ -0,0 +1 @@`
				`Subproject commit 473894842211844fe9e9fd49acd206674c15cc1b`