[tor-commits] [torbrowser/maint-2.4] Fix SSL Session ID patch for FF17.0.5-esr.