From cd8d15a426cc3ecc0a8fabe3f4f3f343f1ec29a2 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Wed, 12 Sep 2018 00:27:38 +0200
Subject: [PATCH] [cmake] Synchronize

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

diff --git a/cmake b/cmake
index 54177e4..52d25e0 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 54177e44a1440222184865f1449c40b708eeaaa4
+Subproject commit 52d25e05c3b5dfd70c79b3e75787fdc78c6f695e
-- 
GitLab