]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1305 from mtmail/travis-ci-ubuntu-16
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 10 Feb 2019 16:20:06 +0000 (17:20 +0100)
committerGitHub <noreply@github.com>
Sun, 10 Feb 2019 16:20:06 +0000 (17:20 +0100)
Travis CI Ubuntu 14 => Ubuntu 16


Trivial merge