27 Oct
2017
27 Oct
'17
8:57 p.m.
On Oct 27, 2017, at 00:12, Guido van Rossum <guido@python.org> wrote:
Heh, you're right that was the reasoning. But I think python-list is much less valuable than python-ideas for PEP authors. So let's change it.
Sounds good. I just want to make sure we keep python-dev in the loop. This is a process change though, so I’ll work with the PR#441 author to get the update into the PEPs, and then make the announcement on the relevant mailing lists. Cheers, -Barry