[tor-commits] [tor/master] Remove changes files that already appeared in 0.4.2.5