From 3adadf9e64585dfc623726af9f87f363da99284a Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Tue, 30 Oct 2018 07:08:15 +0100
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