From: Sarah Hoffmann <lonvia@denofr.de>
Date: Wed, 17 Apr 2019 20:05:28 +0000 (+0200)
Subject: Merge pull request #1358 from mtmail/travis-php-7dot1
X-Git-Tag: v3.3.0~8
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/c148b768f4926d578c499d24d93dbf6ea5b0b7e2?hp=fab9f684af8784470e4c057ebe46dc5931b69c30

Merge pull request #1358 from mtmail/travis-php-7dot1

travis-CI: use PHP 7.1
---