Merge pull request #3070 from rubenk/travis-improvements
authorFlorian Forster <ff@octo.it>
Fri, 15 Feb 2019 21:05:59 +0000 (22:05 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Feb 2019 21:05:59 +0000 (22:05 +0100)
Travis improvements


Trivial merge