From d02fad73e6516af9536b6ca00096ece9e81e4c87 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Thu, 5 Dec 2019 15:04:19 +0100
Subject: [PATCH] cmake: sync submodule

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

diff --git a/cmake b/cmake
index 8e874067..308d3c94 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit 8e87406799ea10cfeb90a56f84f3e1ef9c049753
+Subproject commit 308d3c947a3e276b06c5fa79894119346635de4d
-- 
GitLab