Georg Brandl added the comment: Sorry, accidental push, already reverted. ---------- resolution: fixed -> status: closed -> open _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue16203> _______________________________________