[Python-Dev] peps: Move 13 -> 103

[Oleg Broytman]

On Tue, Sep 15, 2015 at 12:17:00PM +0300, Serhiy Storchaka <storchaka at gmail.com> wrote:
> On 15.09.15 04:21, barry.warsaw wrote:
> >https://hg.python.org/peps/rev/e275c4cd4b44
> >changeset:   6059:e275c4cd4b44
> >user:        Barry Warsaw <barry at python.org>
> >date:        Mon Sep 14 21:21:40 2015 -0400
> >summary:
> >   Move 13 -> 103
> >
> >files:
> >   pep-0103.rst |  2 +-
> >   1 files changed, 1 insertions(+), 1 deletions(-)
> >
> >
> >diff --git a/pep-0013.rst b/pep-0103.rst
> >rename from pep-0013.rst
> >rename to pep-0103.rst
> 
> Is it due to superstition?

   It's because I suggested the PEP doesn't deserve to be listed among
the top Process PEPs. Mine PEP is just Informational, so a number like
103 seems to suits it better. Barry agreed.

Oleg.
-- 
     Oleg Broytman            http://phdru.name/            phd at phdru.name
           Programmers don't die, they just GOSUB without RETURN.