Terry J. Reedy added the comment: It appears that this could be closed then. But I would like to look at the patch first if I can get to it. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue6171> _______________________________________