Hm. I would be fine with the edits proposed, no need to bother others. But please do use the Hg repo. :-)<span></span><br><br>On Tuesday, August 28, 2012, Chris Angelico wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Wed, Aug 29, 2012 at 2:36 PM, Nick Coghlan &lt;<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;ncoghlan@gmail.com&#39;)">ncoghlan@gmail.com</a>&gt; wrote:<br>
&gt; Sending a patch to the PEP editors (<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;peps@python.org&#39;)">peps@python.org</a>) or posting it to<br>
&gt; the tracker is likely the best option. However, in the general case,<br>
&gt; we don&#39;t worry too much about minor errors in accepted and final PEPs<br>
&gt; - once the PEP is implemented, they&#39;re mostly historical records<br>
&gt; rather than reference documents<br>
<br>
Thanks. I&#39;ll not worry about it then; PEP 393 is final.<br>
<br>
ChrisA<br>
_______________________________________________<br>
Python-Dev mailing list<br>
<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;Python-Dev@python.org&#39;)">Python-Dev@python.org</a><br>
<a href="http://mail.python.org/mailman/listinfo/python-dev" target="_blank">http://mail.python.org/mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="http://mail.python.org/mailman/options/python-dev/guido%40python.org" target="_blank">http://mail.python.org/mailman/options/python-dev/guido%40python.org</a><br>
</blockquote><br><br>-- <br>Sent from Gmail Mobile<br>

AltStyle によって変換されたページ (->オリジナル) /