]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1667 from mtmail/setup-delete-invalid-indices
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 9 Feb 2020 13:21:17 +0000 (14:21 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Feb 2020 13:21:17 +0000 (14:21 +0100)
setup: delete invalid indices in create-search-indices step


Trivial merge