Evan added the comment: I think the patch should remove the comma, not the double dash. This is a parenthetical remark and should end the same way it starts.
See https://www.grammarly.com/handbook/punctuation/dash/2/dash-parenthetical-information/ ---------- nosy: +evan_ _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue28960> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
