Georg Brandl added the comment: Done. Thanks for the report! ---------- resolution: fixed -> stage: resolved -> status: closed -> open _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue22868> _______________________________________