]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1419 from asantoz/minor-fix-doc
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 8 Jul 2019 20:23:10 +0000 (22:23 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Jul 2019 20:23:10 +0000 (22:23 +0200)
Minor issue on api docs


Trivial merge