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)
commit7143f48e680d8d47a81139204be43f68917046b8
tree232067b4db8e4fbfa3c47fe88d47c9e067eefd5b
parent164e3aed7d737055ac7aa2d0cc9981247f32a491
parentc0cd74745b450bd5d77daeecf449dfc24adabcc0
Merge pull request #3070 from rubenk/travis-improvements

Travis improvements