]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1945 from mtmail/travis-ubuntu-20
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 17 Sep 2020 14:20:19 +0000 (16:20 +0200)
committerGitHub <noreply@github.com>
Thu, 17 Sep 2020 14:20:19 +0000 (16:20 +0200)
Upgrade Travis-CI from Ubuntu 18 to 20


Trivial merge