tree b977224857837c34436f5c4f5954e6afeed007ad
parent e5a7394258a14877da714d6664023037e72f3769
author Davide Pesavento <davidepesa@gmail.com> 1553057930 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553057930 -0400

ci: update .travis.yml

Change-Id: I5194c8791099bb7ee722873c56fb2e70f72588c9