tree a1324c68c870981b81c07249370848a47fde5687
parent d51d960e62de34b7fb21610f963d20f020f59993
author Davide Pesavento <davidepesa@gmail.com> 1569509827 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1569509827 -0400

ci: update .travis.yml

Change-Id: If41a17c74ee0eed153041899d8373071de774b8d