From 5f7a312828f71c80a7c73028e64ff4f00d312956 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Fri, 10 Aug 2018 14:32:40 +0200
Subject: [PATCH] [travis] Synchronize

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

diff --git a/.travis b/.travis
index 127d03a..5a241e4 160000
--- a/.travis
+++ b/.travis
@@ -1 +1 @@
-Subproject commit 127d03a2df0f7a3996bfd66a671eb504a9343e2d
+Subproject commit 5a241e4bb3c874ed834c3b53f8bb6e340c17ff37
-- 
GitLab