[Python-Dev] PEP Post-History (was Re: PEP 561: Distributing and Packaging Type Information)

[Guido van Rossum]

Great!

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.
>
> Cheers,
> -Barry
>
>
> _______________________________________________
> Python-Dev mailing list
> Python-Dev at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20171027/b75421b6/attachment.html>