]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge branch 'clean-deleted-relations' of https://github.com/lujoh/Nominatim into...
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 23 Oct 2023 08:47:31 +0000 (10:47 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Mon, 23 Oct 2023 08:47:31 +0000 (10:47 +0200)

Trivial merge