leaflet-extras/leaflet-providers — pull request #78 by brunob (2013-12-24 11:14:35+00:00)
Title: Fix #77 : use openmapsurfer.uni-hd.de domain instead of ip address

See #77 for details.