[tor-bugs] #3817 [EFF-HTTPS Everywhere]: Patch to fix more OpenDNS breakage as reported by users

[Tor Bug Tracker & Wiki]

#3817: Patch to fix more OpenDNS breakage as reported by users
----------------------------------+-----------------------------------------
 Reporter:  geeknik               |          Owner:  pde
     Type:  enhancement           |         Status:  new
 Priority:  normal                |      Milestone:     
Component:  EFF-HTTPS Everywhere  |        Version:     
 Keywords:  opendns, fix, patch   |         Parent:     
   Points:                        |   Actualpoints:     
----------------------------------+-----------------------------------------
 This is a quick patch to fix some more OpenDNS breakage caused by HTTPS
 Everywhere as reported by users of the service.

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