tree e42772f5068631529831b85fbbce48749e1e9e60
parent 0f4ff5339b49a80f368c7c1f13df91be65ead070
author Davide Pesavento <davidepesa@gmail.com> 1553056210 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553056210 -0400

ci: update .travis.yml

Change-Id: I2a58691f9e8efe1cd9b81c3b7681d41cbdda89f9