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

[Serhiy Storchaka]

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?