"Tor 0.1.2.13, the first stable release of the 0.1.2.x branch, is finally ready. This release features some major anonymity fixes, such as safer path selection; better client performance; faster bootstrapping, better address detection, and better DNS support for servers; write limiting as well as read limiting to make servers easier to run; and a huge pile of other features and bug fixes. The bundles also ship with Vidalia 0.0.11. https://tor.eff.org/download.html"
0.1.2.13-0 is already in F-7