Georg Brandl added the comment: I had already cleaned this up in the trunk. ---------- resolution: -> out of date status: open -> closed __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1702> __________________________________