]> git.openstreetmap.org Git - nominatim-ui.git/commit
Merge pull request #18 from mtmail/version-1dot2
authormtmail <mtmail@gmx.net>
Tue, 7 Jul 2020 12:47:41 +0000 (14:47 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Jul 2020 12:47:41 +0000 (14:47 +0200)
commita82c578374260ba3450fbd475da5739b9d92a4ce
tree11f685f66351a98122e5f5cf48fc156ee0f1004d
parentf98046cd5d4fb89cfc6a18c843cd7bec926cc84b
parent88c1b10321b51b6583783e21d266119dd4e04525
Merge pull request #18 from mtmail/version-1dot2

Version 1dot2