]> git.openstreetmap.org Git - nominatim.git/commitdiff
Update travis to bionic=Ubuntu18 (#1800)
authormmd <mmd-osm@users.noreply.github.com>
Thu, 14 May 2020 20:52:04 +0000 (22:52 +0200)
committerGitHub <noreply@github.com>
Thu, 14 May 2020 20:52:04 +0000 (22:52 +0200)

No differences found