we've just published a new minor release 2.5.1 for Nominatim.
This is mainly a bugfix release which resolves the following
* a number of new warnings in PHP7
* broken website check in setup.php
* some minor formatting issues with new website layout
As always the source code is available at
For upgrade instruction see the relese notes at github:
Geocoding mailing list