tree 963b37a14bbb1a18966d9b24d07ca7b84e55a7c1
parent 857900104088db6ff26e7710da4b4de2762f2361
author Davide Pesavento <davidepesa@gmail.com> 1552949932 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552949932 -0400

ci: update .travis.yml

Change-Id: I24b27d12dde08d4fe4a9134051acdab9b318bbc5