tree a92c7244ffb822b2a662e0fbc368228ae9ca25ca
parent 58c07d1aa36fad8771b4e533904a308c0792353a
author Davide Pesavento <davidepesa@gmail.com> 1569472994 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1569472994 -0400

ci: update .travis.yml

Change-Id: I7599162c0aa95cd3984506f01ae27ad011e180a6