]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge branch 'customPHP1' of https://github.com/ThomasBarris/Nominatim into ThomasBar...
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 23 Aug 2018 18:41:44 +0000 (20:41 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Thu, 23 Aug 2018 18:41:44 +0000 (20:41 +0200)

Trivial merge