Mark Dickinson <[email protected]> added the comment: Patch applied. Closing.
Ezio: the patch is pure optimization, with no change in semantics; I don't see how it could fix #8271. ---------- resolution: -> fixed status: open -> closed _______________________________________ Python tracker <[email protected]> <http://bugs.python.org/issue14923> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
