From 44aa2fded1327f77ac8162d794bd051c0fe534fd Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Tue, 1 May 2018 13:53:53 +0200
Subject: [PATCH] [cmake] Synchronize.

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

diff --git a/cmake b/cmake
index 687a16b8..212cba41 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 687a16b8d42e20294ec3f51759d122db2d212695
+Subproject commit 212cba414aac3cd18037d4102788b23f3df501f8
-- 
GitLab