"Tor 0.1.2.13, the first stable release of the 0.1.2.x branch, is
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.
0.1.2.13-0 is already in F-7