Ezio Melotti added the comment: I think that's OK. ---------- nosy: +ezio.melotti stage: -> needs patch _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue15948> _______________________________________