]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2799 from lonvia/fix-inclusions-with-extratags
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 13 Aug 2022 17:02:27 +0000 (19:02 +0200)
committerGitHub <noreply@github.com>
Sat, 13 Aug 2022 17:02:27 +0000 (19:02 +0200)
Ignore irrelevant extra tags on address interpolations


Trivial merge