From 1c0e38f7b2ce134ae35ebe473738b602726f7678 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Mon, 15 Jul 2019 15:31:51 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index adfd258c..9e335a1c 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit adfd258cb9368f67b4e84d110110d57ee3ab2f42
+Subproject commit 9e335a1c690403f6dab12ea6707fd9cfd0f596d2
-- 
GitLab