Vinay Sajip added the comment: > Do I need to create a pull request for this?
Yes, creating a PR is part of the current workflow since we moved to GitHub. Though that's not the reason why it's not been progressed - on my part, at least, it's due to not having had time to think through the implications of this change. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue28595> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
