[tor-commits] [tor/master] 0.2.5.12 got left out of the changelog somehow