tree bfc48075e4d48f5a6325cf4404f3bc61ae6fb189
parent e5acb8dcb47d15591ba7e032baf5693400cf7fc4
author Davide Pesavento <davidepesa@gmail.com> 1587183892 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587183892 -0400

Update .travis.yml

Change-Id: I2773dae660961988df88422317be8a083f3429cb