[tor-commits] [tor/release-0.2.5] put an ordering on 0.2.4.24 vs 0.2.5.8-rc