Hm. I would be fine with the edits proposed, no need to bother others. But please do use the Hg repo. :-)
On Tuesday, August 28, 2012, Chris Angelico wrote: > On Wed, Aug 29, 2012 at 2:36 PM, Nick Coghlan > <[email protected]<javascript:;>> > wrote: > > Sending a patch to the PEP editors ([email protected] <javascript:;>) or > posting it to > > the tracker is likely the best option. However, in the general case, > > we don't worry too much about minor errors in accepted and final PEPs > > - once the PEP is implemented, they're mostly historical records > > rather than reference documents > > Thanks. I'll not worry about it then; PEP 393 is final. > > ChrisA > _______________________________________________ > Python-Dev mailing list > [email protected] <javascript:;> > http://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > http://mail.python.org/mailman/options/python-dev/guido%40python.org > -- Sent from Gmail Mobile
_______________________________________________ Python-Dev mailing list [email protected] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
