]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2772 from kianmeng/fix-typos
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 20 Jul 2022 15:13:30 +0000 (17:13 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Jul 2022 15:13:30 +0000 (17:13 +0200)
docs: fix typos


Trivial merge