]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3238 from mtmail/check-database-for-version-match
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 7 Jan 2024 14:24:00 +0000 (15:24 +0100)
committerGitHub <noreply@github.com>
Sun, 7 Jan 2024 14:24:00 +0000 (15:24 +0100)
admin --check-database also checks database vs nominatim version


Trivial merge