[Python-Dev] PEP Post-History (was Re: PEP 561: Distributing and Packaging Type Information)
Guido van Rossum
guido at python.org
Fri Oct 27 11:36:45 EDT 2017
On Fri, Oct 27, 2017 at 8:27 AM, Barry Warsaw <barry at python.org> wrote:
> On Oct 27, 2017, at 00:12, Guido van Rossum <guido at 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.
> Python-Dev mailing list
> Python-Dev at python.org
> Unsubscribe: https://mail.python.org/mailman/options/python-dev/
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-Dev