]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2155 from lonvia/port-regresh-to-python
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 1 Feb 2021 10:50:05 +0000 (11:50 +0100)
committerGitHub <noreply@github.com>
Mon, 1 Feb 2021 10:50:05 +0000 (11:50 +0100)
Port replication and part of the refrsh function to native Python


Trivial merge