]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3125 from lonvia/warm-to-python
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 26 Jul 2023 20:37:37 +0000 (22:37 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Jul 2023 20:37:37 +0000 (22:37 +0200)
Port warm and export functions to Python


Trivial merge