Guido van Rossum added the comment: Actually uploading a patch for this should be easy, right? ---------- keywords: +easy nosy: +gvanrossum _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue22558> _______________________________________