Great! On Fri, Oct 27, 2017 at 8:27 AM, Barry Warsaw <ba...@python.org> wrote:
> On Oct 27, 2017, at 00:12, Guido van Rossum <gu...@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)
_______________________________________________ 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/archive%40mail-archive.com
