[Python-checkins] peps (merge default -> default): Null merge to get rid of old head.

[guido.van.rossum]

http://hg.python.org/peps/rev/9f0e3e034355
changeset:   4426:9f0e3e034355
parent:      4424:ad4b5d2924f3
parent:      4425:5579d601a9a9
user:        Guido van Rossum <guido at google.com>
date:        Thu May 24 11:24:33 2012 -0700
summary:
  Null merge to get rid of old head.

files:



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