tree 05f51e9a4ecb2dea9d99c531f9e51cffb632ac31
parent da85e25e59fcbdced544e05649f2c1d506c68170
author Davide Pesavento <davidepesa@gmail.com> 1552948848 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552948848 -0400

ci: update .travis.yml

Change-Id: Ibc9443172511a27a056f685d893ec4182bc2f3ad