[docs] [issue9093] Tools/README is out of date

[Sandro Tosi]

Sandro Tosi <sandro.tosi at gmail.com> added the comment:

Hello Georg,
is this bug been fixed with r83608-10 ? from the commit diffs it seems so, but maybe there's something else you want to do.

Regards,
Sandro

----------
nosy: +sandro.tosi

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue9093>
_______________________________________