[tbb-bugs] #12745 [Tor Browser]: still running old version of Tor Button after upgrading TBB in-place

[Tor Bug Tracker & Wiki]

#12745: still running old version of Tor Button after upgrading TBB in-place
-----------------------------+---------------------------
     Reporter:  cypherpunks  |      Owner:  tbb-team
         Type:  defect       |     Status:  new
     Priority:  normal       |  Milestone:
    Component:  Tor Browser  |    Version:
   Resolution:               |   Keywords:  tbb-usability
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+---------------------------

Comment (by cypherpunks):

 More details: after upgrading TBB 4.0.3 -> 4.5a3 using the latest master
 of torbrowser-launcher, I have these versions (when I should have these
 versions):

 * HTTPS-Everywere 4.0.2 (should be 5.0developement.2)
 * NoScript 2.6.9.11 (release notes say 2.6.9.10)
 * TorButton 1.7.0.1 (should be 1.8.1.3, although 1701 is a lovely number)
 * TorLauncher 0.2.7.0.1 (should be 0.2.7.1)

 I will now try the workaround I documented previously of stopping TBB,
 moving extensions away, starting, stopping, moving them back, and starting
 again.

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