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

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

diff --git a/.travis b/.travis
index bad6dbd..9024b9c 160000
--- a/.travis
+++ b/.travis
@@ -1 +1 @@
-Subproject commit bad6dbd29cf70e852e5e427e876390d954ca7d6b
+Subproject commit 9024b9c4c43724bf9fc469cbb168f9a2a50d8c3f
-- 
GitLab