Christian Heimes added the comment: Sounds good to me. ---------- nosy: +christian.heimes resolution: -> out of date status: open -> closed _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue12103> _______________________________________