[Python-checkins] peps (merge default -> default): Null merge to get rid of old head.
guido.van.rossum
python-checkins at python.org
Thu May 24 20:24:42 CEST 2012
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
More information about the Python-checkins
mailing list