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

On 15.09.15 04:21, barry.warsaw wrote:

https://hg.python.org/peps/rev/e275c4cd4b44 changeset: 6059:e275c4cd4b44 user: Barry Warsaw <barry@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?