Re: [tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-09-19 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+ Reporter: gk| Owner: legind Type: defect| Status: closed Priority: Medium| Milestone: Component

Re: [tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-09-19 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+-- Reporter: gk| Owner: legind Type: defect| Status: assigned Priority: Medium| Milestone: Compo

Re: [tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-09-18 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+-- Reporter: gk| Owner: legind Type: defect| Status: assigned Priority: Medium| Milestone: Compo

Re: [tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-09-15 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+-- Reporter: gk| Owner: legind Type: defect| Status: assigned Priority: Medium| Milestone: Compo

Re: [tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-08-26 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+-- Reporter: gk| Owner: legind Type: defect| Status: assigned Priority: Medium| Milestone: Compo

[tor-bugs] #19996 [HTTPS Everywhere]: extensions.torbutton.https_proxy and similar preferences are gone

2016-08-26 Thread Tor Bug Tracker & Wiki
#19996: extensions.torbutton.https_proxy and similar preferences are gone --+- Reporter: gk| Owner: Type: defect| Status: new Priority: Medium| Milestone: Component: HTTPS E