[Python-checkins] peps (merge default -> default): Merge

[guido.van.rossum]

http://hg.python.org/peps/rev/920bba6d5916
changeset:   4133:920bba6d5916
parent:      4132:5b93aa6c1322
parent:      4130:b8863d30b3ee
user:        Guido van Rossum <guido at google.com>
date:        Mon Mar 12 16:59:06 2012 -0700
summary:
  Merge

files:
  pep-0417.txt |  3 ++-
  1 files changed, 2 insertions(+), 1 deletions(-)


diff --git a/pep-0417.txt b/pep-0417.txt
--- a/pep-0417.txt
+++ b/pep-0417.txt
@@ -3,12 +3,13 @@
 Version: $Revision$
 Last-Modified: $Date$
 Author: Michael Foord <michael at python.org>
-Status: Draft
+Status: Accepted
 Type: Standards Track
 Content-Type: text/x-rst
 Created: 12-Mar-2012
 Python-Version: 3.3
 Post-History: 12-Mar-2012
+Resolution: http://mail.python.org/pipermail/python-dev/2012-March/117507.html
 
 
 Abstract

-- 
Repository URL: http://hg.python.org/peps