[tor-bugs] #9335 [EFF-HTTPS Everywhere]: embedded search help / HTTPS

[Tor Bug Tracker & Wiki]

#9335: embedded search help / HTTPS
----------------------------------+-----------------------------------------
 Reporter:  Deathtognomes         |          Owner:  pde                
     Type:  defect                |         Status:  new                
 Priority:  normal                |      Milestone:  HTTPSE Cr 2013.4.2x
Component:  EFF-HTTPS Everywhere  |        Version:                     
 Keywords:                        |         Parent:                     
   Points:                        |   Actualpoints:                     
----------------------------------+-----------------------------------------

Comment(by zyan):

 Oh, I just realized that someone has already submitted a patch (thanks!):
 https://trac.torproject.org/projects/tor/ticket/9470

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