From 737b30c319a76620b23aa270c0be5fbc41d33b0a Mon Sep 17 00:00:00 2001 From: Olivier Stasse <ostasse@laas.fr> Date: Sat, 11 Jan 2020 12:56:37 +0100 Subject: [PATCH] [travis] Synchronize. --- .travis | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis b/.travis index 083fa2c..cbc92f8 160000 --- a/.travis +++ b/.travis @@ -1 +1 @@ -Subproject commit 083fa2cb0fa4ad594926d9bb3d246075e62ce9ee +Subproject commit cbc92f81bdd0dcfd7fc1eae56801d8111267937d -- GitLab