]> git.openstreetmap.org Git - nominatim.git/commit
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)
commitc148b768f4926d578c499d24d93dbf6ea5b0b7e2
treeda0545416a5d2609cdbeb33a3b22df0e920635d8
parent0af48fe802f6cf81accdb3ee550c23d2ed2376c4
parentfab9f684af8784470e4c057ebe46dc5931b69c30
Merge pull request #1358 from mtmail/travis-php-7dot1

travis-CI: use PHP 7.1