Mark Dickinson <dickinsm at gmail.com> added the comment: Here's a patch. ---------- keywords: +patch Added file: http://bugs.python.org/file20745/issue9920.patch _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9920> _______________________________________