Version 0.2.0.31 of tor has been released on September 3. Citing the change log: Tor 0.2.0.31 addresses two potential anonymity issues, starts to fix a big bug we're seeing where in rare cases traffic from one Tor stream gets mixed into another stream, and fixes a variety of smaller issues.
Thanks for the hint. Don't hesitate to report earlier.