]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1813 from lonvia/revert-concurrent-indexing
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 1 Jun 2020 20:13:33 +0000 (22:13 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Jun 2020 20:13:33 +0000 (22:13 +0200)
revert building indexes concurrently


Trivial merge