Mark Dickinson added the comment: PR merged; thank you!
Unfortunately, just after I merged it I noticed that the Misc/NEWS entry was in the wrong section. I'll make a new PR to fix that, and close this issue once it's done. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue29534> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com