]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge branch 'update-jquery-leaflet' of https://github.com/mtmail/Nominatim into...
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 11 Apr 2020 18:53:14 +0000 (20:53 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Sat, 11 Apr 2020 18:53:14 +0000 (20:53 +0200)

Trivial merge