tree 126e3b5480c1cb7a348eed34220c4cedf195db36
parent 9a8d7d8673f901bca73787af030a6fb2f6ddd6e7
author Davide Pesavento <davidepesa@gmail.com> 1552949169 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552949779 -0400

ci: update .travis.yml

Change-Id: Iae5bd970ec211749b28bc955c401e04bae4d42f7