On Mon, Oct 14, 2013 at 6:13 PM, Victor Stinner <victor.stin...@gmail.com> wrote: > I opened an issue proposing exactly the same change, but I didn't provide a > patch.
I found this: http://bugs.python.org/issue10614 but it has (seemingly incorrect) patch. Also related: http://bugs.python.org/issue10972 Victor - is any of these what you had in mind? _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com