tree 09a31e17baf5c4e7d68feb842a2483f6707dbd36
parent 002bb42222b6d6ca17864e0965833b1fb4e31361
author Davide Pesavento <davidepesa@gmail.com> 1569536430 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1569536430 -0400

ci: update .travis.yml

Change-Id: I820aab6ebd9e0e7c36a435e875af397e564c4b2c