tree 85d4b94208484178e9008bb601dcdc2e145939ac
parent 7393cb4b759cb6f0d86f42530d23d8c36098789e
author Davide Pesavento <davidepesa@gmail.com> 1596952724 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1596952724 -0400

ci: update Travis CI build matrix

Change-Id: Ibcf09a714ca6552a48c19165b9ebe47b74e8fa6b