]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1524 from MatthiasLohr/bugfix/uninitialized-string-offset
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 15 Oct 2019 07:51:20 +0000 (09:51 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 07:51:20 +0000 (09:51 +0200)
Fix for #1523: Fix PHP warning


Trivial merge