Merge pull request #3307 from rubenk/travis-bionic
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Tue, 15 Oct 2019 08:49:41 +0000 (10:49 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 08:49:41 +0000 (10:49 +0200)
Travis: switch to Bionic


Trivial merge