From 770d1f84d5386642abe3564bb2bbff9d98b3461f Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Fri, 27 Oct 2023 09:56:13 +0200
Subject: [PATCH] Update cmake

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

diff --git a/cmake b/cmake
index 7ccfa44..9bd257d 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 7ccfa44fbe844d7773726ec588dc6eb40f8e8ae5
+Subproject commit 9bd257de40db101805be38e849b7d1d13d29590d
-- 
GitLab