Re: [tor-bugs] #23879 [Applications/Torbutton]: Implement more user.js fixes in TorButton/TBB

2018-02-11 Thread Tor Bug Tracker & Wiki
#23879: Implement more user.js fixes in TorButton/TBB +--- Reporter: cypherpunks | Owner: (none) Type: enhancement | Status: closed Priority: Medium | Milestone:

Re: [tor-bugs] #23879 [Applications/Torbutton]: Implement more user.js fixes in TorButton/TBB

2017-10-17 Thread Tor Bug Tracker & Wiki
#23879: Implement more user.js fixes in TorButton/TBB +--- Reporter: cypherpunks | Owner: (none) Type: enhancement | Status: closed Priority: Medium | Milestone:

Re: [tor-bugs] #23879 [Applications/Torbutton]: Implement more user.js fixes in TorButton/TBB

2017-10-16 Thread Tor Bug Tracker & Wiki
#23879: Implement more user.js fixes in TorButton/TBB +--- Reporter: cypherpunks | Owner: (none) Type: enhancement | Status: needs_information Priority: Medium

[tor-bugs] #23879 [Applications/Torbutton]: Implement more user.js fixes in TorButton/TBB

2017-10-15 Thread Tor Bug Tracker & Wiki
#23879: Implement more user.js fixes in TorButton/TBB + Reporter: cypherpunks | Owner: (none) Type: enhancement | Status: new Priority: Medium | Milestone: