tree 33b26d063c77c7e9dee965377c89d3228af90135
parent c7888e613cb3cbf9feb6ed81d750309521104175
author Davide Pesavento <davidepesa@gmail.com> 1552950274 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552950274 -0400

ci: update .travis.yml

Change-Id: I9381f38abd77fe5195bcf69e6f5e479f36928436