From 3b80c94fa332c2e0b279e9df08d8cb97fb04f478 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Sun, 9 Sep 2018 22:10:52 +0200
Subject: [PATCH] [cmake] Synchronize

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

diff --git a/cmake b/cmake
index 8e7bedf..52d25e0 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 8e7bedfcbd8524c0401a58fd74edc07c3d4308d0
+Subproject commit 52d25e05c3b5dfd70c79b3e75787fdc78c6f695e
-- 
GitLab