[tor-bugs] #15984 [Tor Browser]: disabling Torbutton breaks the Add-ons manager

[Tor Bug Tracker & Wiki]

#15984: disabling Torbutton breaks the Add-ons manager
-------------------------+-------------------------------------------------
     Reporter:           |      Owner:  tbb-team
  cypherpunks            |     Status:  needs_review
         Type:  defect   |  Milestone:
     Priority:  normal   |    Version:
    Component:  Tor      |   Keywords:  tbb-torbutton,
  Browser                |  TorBrowserTeam201505R, GeorgKoppen201505R
   Resolution:           |  Parent ID:
Actual Points:           |
       Points:           |
-------------------------+-------------------------------------------------
Changes (by gk):

 * keywords:  tbb-torbutton, TorBrowserTeam201505R => tbb-torbutton,
     TorBrowserTeam201505R, GeorgKoppen201505R


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