From 3d23476b0a7811630f668c5ae13ae7f7f5b66d08 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Mon, 6 Jul 2020 07:00:42 +0200
Subject: [PATCH] [cmake] Synchronize

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

diff --git a/cmake b/cmake
index 3ae8e88..c333a88 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 3ae8e885b8a217f2b8844119c01d33eb46fdd689
+Subproject commit c333a88decb3e4c0a86947bc6c7f072dc5c5df20
-- 
GitLab