]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3100 from lonvia/fix-name-merging-in-unnamed-boundaries
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 1 Jul 2023 13:36:56 +0000 (15:36 +0200)
committerGitHub <noreply@github.com>
Sat, 1 Jul 2023 13:36:56 +0000 (15:36 +0200)
Fix merging of linked names into unnamed boundaries


Trivial merge