From ef8e23e4a88f7b7a1b919ac0030db4fef5daf777 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Fri, 26 Oct 2018 19:38:42 +0200
Subject: [PATCH] [travis] Synchronize

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

diff --git a/.travis b/.travis
index dc8b946..083fa2c 160000
--- a/.travis
+++ b/.travis
@@ -1 +1 @@
-Subproject commit dc8b946d456d2c41ad12b819111b005148c68031
+Subproject commit 083fa2cb0fa4ad594926d9bb3d246075e62ce9ee
-- 
GitLab