Add Discussions-To header for PEP 772#4254

warsaw merged 1 commit intopython:mainpython/peps:mainfrom

warsaw:warsaw/772-discussionswarsaw/peps:warsaw/772-discussionsCopy head branch name to clipboard