Guido van Rossum added the comment: GHave you two agreed yet as to which patch(es) I should look at? ---------- nosy: +gvanrossum __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1247> __________________________________