Merge pull request #3308 from rubenk/travis-osx
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Tue, 15 Oct 2019 08:47:06 +0000 (10:47 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 08:47:06 +0000 (10:47 +0200)
Travis improvements for MacOS


Trivial merge