From 030df6be1500c002f953a69bf9e0ffbf17dd6031 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Fri, 10 Aug 2018 14:32:57 +0200
Subject: [PATCH] [cmake] Synchronize

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

diff --git a/cmake b/cmake
index 9965dbc..8e7bedf 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 9965dbcd2a37edbc98707573c05512d838e64c10
+Subproject commit 8e7bedfcbd8524c0401a58fd74edc07c3d4308d0
-- 
GitLab