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)
commit83f9bd1ea0eaae9a502564292871a3bc0d0ef3ee
tree2837f6721e759ef5ac29e6ad6526615164ac5e46
parent453c5a9b36523ceb6b715a841f0c852b5994992c
parent651b9f9bf1d1feedc0895e6f2de2ae58002bbc99
Merge pull request #12535 from BKPepe/travis-ci

Improvements for Travis (use different target and update Ubuntu image)
git clone https://git.99rst.org/PROJECT