tree 22dc5e1dedb8f3482add81dcee987d39b346cc77
parent a6fd9abd4dbd79f6158fbad4b086b88d67945e6d
author Davide Pesavento <davidepesa@gmail.com> 1604283413 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1604639914 -0500

Update .travis.yml

Change-Id: I5628db632f7b2bc015c27e1f98a9842b12d34d02