]> granicus.if.org Git - python/commitdiff
Merge heads.
authorR David Murray <rdmurray@bitdance.com>
Sat, 10 Aug 2013 16:13:44 +0000 (12:13 -0400)
committerR David Murray <rdmurray@bitdance.com>
Sat, 10 Aug 2013 16:13:44 +0000 (12:13 -0400)

Trivial merge