]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: c148b76)
Merge pull request #1358 from mtmail/travis-php-7dot1
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 17 Apr 2019 20:05:28 +0000 (22:05 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Apr 2019 20:05:28 +0000 (22:05 +0200)
travis-CI: use PHP 7.1


No differences found
Open Source search based on OpenStreetMap data