]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3112 from jenkin/fix-polgyon-polygon-typo
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 17 Jul 2023 12:20:14 +0000 (14:20 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2023 12:20:14 +0000 (14:20 +0200)
fix polgyon polygon typo


Trivial merge