Guido van Rossum added the comment: Patience? :-) Seriously, I'd lost track of this. It's now submitted: Committed revision 58276. __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1145> __________________________________