]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2383 from lonvia/remove-more-names
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 5 Jul 2021 10:34:16 +0000 (12:34 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Jul 2021 10:34:16 +0000 (12:34 +0200)
Exclude name:etymology and name:signed


Trivial merge