[Python-Dev] PEP Post-History

2017-10-27 Thread Barry Warsaw
We’ve made a small change to the PEP process which may affect readers of python-list and python-ideas, so I’d like to inform you of it. This change was made to PEP 1 and PEP 12. PEPs must have a Post-History header which records the dates at which the PEP is posted to mailing lists, in order t

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

2017-10-27 Thread Guido van Rossum
Great! On Fri, Oct 27, 2017 at 8:27 AM, Barry Warsaw wrote: > On Oct 27, 2017, at 00:12, Guido van Rossum 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

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

2017-10-27 Thread Barry Warsaw
On Oct 27, 2017, at 00:12, Guido van Rossum 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 chang