[tor-commits] [torbrowser/master] unrecommend linux 2.2.35-7 now that 2.2.35-7.2 is up