]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3159 from lonvia/fix-name-lookup-for-housenames
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 20 Aug 2023 13:52:20 +0000 (15:52 +0200)
committerGitHub <noreply@github.com>
Sun, 20 Aug 2023 13:52:20 +0000 (15:52 +0200)
Fix name lookup for housenames


Trivial merge