]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2279 from lonvia/add-index-for-continued-indexing
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 17 Apr 2021 09:51:21 +0000 (11:51 +0200)
committerGitHub <noreply@github.com>
Sat, 17 Apr 2021 09:51:21 +0000 (11:51 +0200)
Add index for continued indexing


Trivial merge