From 68dda1e413594bfd421452fac75f235b24ad47d4 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Thu, 11 Jul 2019 20:40:03 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 40207e1a..7bc2c801 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 40207e1a74854fa99a42304837f826f1692d4440
+Subproject commit 7bc2c801fc250a5a7a4570983c18c0b519ed35ba
-- 
GitLab