tree 7ede9269960837370cd40a5da8b47e45da62591a
parent 399f0b926fc88226f88c0803a010ee005b307bdd
author Davide Pesavento <davidepesa@gmail.com> 1587163573 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587175567 -0400

Update .travis.yml

Change-Id: Ie1e8d6ffbe72fc004814f6169b9e6f8e6ad3aece