Georg Brandl added the comment: Said patch has now been applied. ---------- assignee: anthonybaxter -> nosy: +georg.brandl resolution: -> fixed status: open -> closed ____________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue683910> ____________________________________