]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2452 from lonvia/update-houses-on-street-name-change
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 27 Sep 2021 12:55:50 +0000 (14:55 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Sep 2021 12:55:50 +0000 (14:55 +0200)
Force update of surrounding houses when street or place name changes


Trivial merge