]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #778 from woodpeck/patch-1
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 23 Jul 2017 19:01:51 +0000 (21:01 +0200)
committerGitHub <noreply@github.com>
Sun, 23 Jul 2017 19:01:51 +0000 (21:01 +0200)
Mention explicitly that Osmosis is not required.


Trivial merge