Joe Jevnik added the comment: Is there a decision on the name? I can update the patch if needed. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25770> _______________________________________