From 310d1250c4b5249e65f65a1e20d8e55775610155 Mon Sep 17 00:00:00 2001 From: Barry Warsaw Date: Wed, 16 Mar 2011 22:00:18 +0000 Subject: [PATCH] There is no PEP: 9 header, so change this to reflect reality. --- pep-0012.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pep-0012.txt b/pep-0012.txt index 36507696f..2f03da559 100644 --- a/pep-0012.txt +++ b/pep-0012.txt @@ -63,7 +63,7 @@ directions below. - Make a copy of this file (``.txt`` file, **not** HTML!) and perform the following edits. -- Replace the "PEP: 9" header with "PEP: XXX" since you don't yet have +- Replace the "PEP: 12" header with "PEP: XXX" since you don't yet have a PEP number assignment. - Change the Title header to the title of your PEP.