]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge branch 'master' of github.com:twain47/Nominatim
authorBrian Quinion <openstreetmap@brian.quinion.co.uk>
Tue, 28 Aug 2012 17:42:06 +0000 (18:42 +0100)
committerBrian Quinion <openstreetmap@brian.quinion.co.uk>
Tue, 28 Aug 2012 17:42:06 +0000 (18:42 +0100)

Trivial merge