From 53dbac693f328caeb7164f65eb19fcb1f4d53f91 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Tue, 25 Aug 2020 11:50:01 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 82030f34..f4fca276 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 82030f34fb590cfcece473b97ba910e7b6da30fe
+Subproject commit f4fca276f9feaaea1ef9b866df32f8a263a35501
-- 
GitLab