From: Sarah Hoffmann <lonvia@denofr.de>
Date: Fri, 7 Feb 2020 19:43:49 +0000 (+0100)
Subject: Merge pull request #1665 from mtmail/centos7-php7
X-Git-Tag: v3.5.0~89
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/9e2fb457832d4ca14063a6ddf11622bdbfda6032

Merge pull request #1665 from mtmail/centos7-php7

CentOS7: update from PHP 5.4 to 7.2, add psycopg2
---

9e2fb457832d4ca14063a6ddf11622bdbfda6032