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