Changes by Guido van Rossum <guido at python.org>: ---------- priority: normal -> high _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue10836> _______________________________________