]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2798 from lonvia/more-rank-change-fixes
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 12 Aug 2022 09:42:03 +0000 (11:42 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Aug 2022 09:42:03 +0000 (11:42 +0200)
Invalidations when boundaries and places change their rank


Trivial merge