From ffbccbadb1f66c5488cf03c26c21590dd5b1b878 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Mon, 18 Feb 2019 10:34:27 +0100
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 77876c44..cfc25686 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 77876c449c4a8b20a3e534a6db9eaa47c2b76a0c
+Subproject commit cfc25686d5e13c40cd8c47946c5d694b4b085670
-- 
GitLab