From 7746d9dd265147cf7cef39a0db5892881df8a6c7 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Tue, 2 Jun 2020 16:02:09 +0200
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 9d6231d5..e715bf76 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 9d6231d5743f6529bdd053b929a252ad95449162
+Subproject commit e715bf761e97dbcd704adecd03c28d8e195e7811
-- 
GitLab