]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2936 from lonvia/fix-query-for-index-use
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 3 Jan 2023 08:56:03 +0000 (09:56 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Jan 2023 08:56:03 +0000 (09:56 +0100)
Split query that deletes old objects from placex


Trivial merge