Steve Dower <steve.do...@python.org> added the comment:
Merged! We don't normally change the name (except to update the GH-7667 reference at the end), but once there's more than one commit GitHub will use the PR title instead of the commit message. ---------- assignee: -> steve.dower resolution: -> fixed stage: patch review -> resolved status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue33845> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
