Merge pull request #12535 from BKPepe/travis-ci
authorJosef Schlehofer <redacted>
Sat, 20 Jun 2020 00:27:36 +0000 (02:27 +0200)
committerGitHub <redacted>
Sat, 20 Jun 2020 00:27:36 +0000 (02:27 +0200)
Improvements for Travis (use different target and update Ubuntu image)


Trivial merge
git clone https://git.99rst.org/PROJECT