[tbb-dev] stopgap fix for ticket #9516 (Show log in Tor Browser)

Is it is too late to include a small but possibly important Tor Launcher improvement in TB 3.6.4? Please take a look at: https://trac.torproject.org/projects/tor/ticket/9516#comment:7 If Mike and others think the change is useful, it would be trivial to merge this fix into Tor Launcher's maint-0.2.5 branch (for TB 3.6.4). -- Mark Smith Pearl Crescent http://pearlcrescent.com/