Sept. 20, 2022
3:05 p.m.
On Sep 20, 2022, at 02:47, Petr Viktorin <encukou@gmail.com> wrote:
Note that you can have development-related discussions anywhere, as long as you (eventually) include all relevant people. You're welcome to continue using python-dev and other mailing lists, IRC, in-person sprints, etc. But for PEP-level changes, we believe python-dev no longer reaches the proper audience.
Please also make sure your PEP’s Discussions-To header points to the right forum. https://peps.python.org/pep-0001/#discussing-a-pep Cheers, -Barry