]> granicus.if.org Git - python/commitdiff
merge heads
authorMartin v. Löwis <martin@v.loewis.de>
Fri, 18 May 2012 12:24:09 +0000 (14:24 +0200)
committerMartin v. Löwis <martin@v.loewis.de>
Fri, 18 May 2012 12:24:09 +0000 (14:24 +0200)

Trivial merge