]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3341 from mtmail/remove-php-faq-entries
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 21 Feb 2024 07:56:18 +0000 (08:56 +0100)
committerGitHub <noreply@github.com>
Wed, 21 Feb 2024 07:56:18 +0000 (08:56 +0100)
PHP related FAQ entries are no longer needed


Trivial merge