[tor-bugs] #31034 [HTTPS Everywhere]: map-service.heidelberg.de broken

[Tor Bug Tracker & Wiki]

#31034: map-service.heidelberg.de broken
--------------------------------+----------------------------------
 Reporter:  cypherpunks         |          Owner:  legind
     Type:  defect              |         Status:  new
 Priority:  Medium              |      Component:  HTTPS Everywhere
  Version:                      |       Severity:  Normal
 Keywords:  httpse-ruleset-bug  |  Actual Points:
Parent ID:                      |         Points:
 Reviewer:                      |        Sponsor:
--------------------------------+----------------------------------
 <http://map-service.heidelberg.de/hd_map/> is transfered to https but does
 not work

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31034>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online