From 1e0dd13f20dce734593e95a6d3eeeb204a8d74bb Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Tue, 29 Oct 2019 12:05:26 +0100
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 4c2f917c..efa25a99 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 4c2f917c1bed8c1c3f019d335b2ef45b353aeb85
+Subproject commit efa25a9976b8a6fc9f51d26924d4238d0d4820b1
-- 
GitLab