From f3dd3962b0e3e447f3ff6fc404532677279cbad3 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Fri, 15 Nov 2019 15:41:25 +0100
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 8e01cbbb..df86256e 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 8e01cbbb07722838d69d098ae6abb4211fae1737
+Subproject commit df86256ef2b3e9420369d8749a719982ce6aeb14
-- 
GitLab