tree 6776c4915b9a0719d7f309a2d3761b1998381e99
parent fa2aa50d8df42b182e2af5f13d6d64ea0cd0fc91
author Davide Pesavento <davidepesa@gmail.com> 1553060289 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553361006 -0400

ci: update .travis.yml

Change-Id: Iffa90852e74b6ea40bbb52239a91f4fd98de27c4