]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #649 from ldgeo/master
authormtmail <mtmail@gmx.net>
Tue, 28 Feb 2017 16:18:12 +0000 (17:18 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Feb 2017 16:18:12 +0000 (17:18 +0100)
UI: Extra HTML headers for compatibility on MSIE>8


Trivial merge