From eb3ff1e824e132e306d81c43a00f1da703c10f08 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Tue, 16 Jul 2019 17:01:32 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 8ecaf24e..b8477ff6 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 8ecaf24e03ae0cf72b0d4f67177c440241b43f53
+Subproject commit b8477ff6d1eadae4f94509dc67207fc5ee9c6314
-- 
GitLab