]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge remote-tracking branch 'upstream/master' into move-mouse-position-info-on-map
authorMarc Tobias Metten <mtmail@gmx.net>
Tue, 23 Aug 2016 22:03:40 +0000 (00:03 +0200)
committerMarc Tobias Metten <mtmail@gmx.net>
Tue, 23 Aug 2016 22:03:40 +0000 (00:03 +0200)

Trivial merge