From ab29a875b958b13603b8a8978d3eb43457977cbb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= <adrian@suse.de>
Date: Tue, 10 Oct 2023 09:06:46 +0200
Subject: [PATCH] update to current state

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index d98ec03..4fdb8ff 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7434,7 +7434,7 @@
 	url = ../../pool/ocaml-csexp
 [submodule "ocaml-dune"]
 	path = ocaml-dune
-	url = ../../pool/ocaml-dune
+	url = ../../ALP-pool/ocaml-dune
 [submodule "ocaml-findlib"]
 	path = ocaml-findlib
 	url = ../../pool/ocaml-findlib