From 9765e55b6bae899f72a3cfb8fb5facbaa4bced91 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Wed, 20 Nov 2019 18:06:29 +0100
Subject: [PATCH] cmake: sync submodule

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

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