(original) (raw)

On Fri, Oct 27, 2017 at 8:27 AM, Barry Warsaw <barry@python.org> wrote:

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


\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: https://mail.python.org/mailman/options/python-dev/guido%40python.org

--Guido van Rossum (python.org/\~guido)