]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1675 from lonvia/refresh-connection-while-indexing
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 12 Feb 2020 07:18:09 +0000 (08:18 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Feb 2020 07:18:09 +0000 (08:18 +0100)
Fix a couple of issues with the new Python nominatim script


Trivial merge