]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1982 from lonvia/more-rank-search-removal
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 26 Sep 2020 09:08:20 +0000 (11:08 +0200)
committerGitHub <noreply@github.com>
Sat, 26 Sep 2020 09:08:20 +0000 (11:08 +0200)
More rank search removal


Trivial merge