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)
commit2c42f265e1af8b586f675aa40be0ac373e8deaf3
tree987612dd6b1d8f668574b133fd6e8846adab519d
parent6a1b9866571a65f2bd542533d012fff1b5f4b124
parent1bb70497e4c2e9da70dc7694c305088cca6f75f8
Merge pull request #3307 from rubenk/travis-bionic

Travis: switch to Bionic