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

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

diff --git a/.travis b/.travis
index c94d37aa..0f12f18e 160000
--- a/.travis
+++ b/.travis
@@ -1 +1 @@
-Subproject commit c94d37aa741db076722d41972e748e0ac96a3c51
+Subproject commit 0f12f18e62a504278ef31f0118f1da48607a524e
-- 
GitLab