From 5c85139fb1f80c3f6e2bce10116c4118bb50f53a Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Mon, 26 Sep 2022 12:22:22 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 53b97908..9f806db9 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 53b97908d7cd5cf58a30a309cfda85151eba8033
+Subproject commit 9f806db90f2f3dcf3fe9011b0c38161163330a22
-- 
GitLab