From e13828d605fce929bfa00f6f0fe4fee5fc6645a9 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Thu, 20 Feb 2020 09:01:00 +0100
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index ba8e9f82..31f4a95e 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit ba8e9f82f52d74865b42262de61bb884bf373550
+Subproject commit 31f4a95eec3cc5fc63e37c5af3eb352b86c29293
-- 
GitLab