STINNER Victor added the comment: Tim Graham wrote: "It's fine with me."
Oh, I see that your pull request was merged. I'm now closing the issue. Anyway, thanks for the bug report. It's always good to have feedback on behaviour changes, even when they are legit :-) ---------- resolution: -> not a bug status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue25137> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
