tree e167bb73feb3a813a09de6d3476c453d9cae30a4
parent 9c1b7067703277a108ae77e155ca5402f2668d56
author Davide Pesavento <davidepesa@gmail.com> 1569338045 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1569340404 -0400

Update .travis.yml

Change-Id: I3a19b35e26e8573685dfaf25e37bbef73d244322