From 108c73cfcc8d6e43c9efed9b3b175bb97bba94e1 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Fri, 12 Jul 2019 14:34:42 +0200
Subject: [PATCH] travis: sync submodule

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

diff --git a/.travis b/.travis
index 9024b9c4..c94d37aa 160000
--- a/.travis
+++ b/.travis
@@ -1 +1 @@
-Subproject commit 9024b9c4c43724bf9fc469cbb168f9a2a50d8c3f
+Subproject commit c94d37aa741db076722d41972e748e0ac96a3c51
-- 
GitLab