[tor-bugs] #15651 [Tor Browser]: Restore deleted comment in torbutton.js

[Tor Bug Tracker & Wiki]

#15651: Restore deleted comment in torbutton.js
---------------------------------+-----------------------------------
     Reporter:  arthuredelstein  |      Owner:  tbb-team
         Type:  defect           |     Status:  needs_review
     Priority:  normal           |  Milestone:
    Component:  Tor Browser      |    Version:
   Resolution:                   |   Keywords:  TorBrowserTeam201504R
Actual Points:                   |  Parent ID:
       Points:                   |
---------------------------------+-----------------------------------

Comment (by mcs):

 Oops.  It looks like Kathy and I accidentally removed that line a while
 ago.  Your fix looks good.

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