]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
Merge pull request #15 from mtmail/master
authormtmail <mtmail@gmx.net>
Fri, 19 Jun 2020 05:32:26 +0000 (07:32 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 05:32:26 +0000 (07:32 +0200)
version 1.1


Trivial merge