]> granicus.if.org Git - python/commitdiff
merge heads
authorGeorg Brandl <georg@python.org>
Thu, 2 Oct 2014 06:39:42 +0000 (08:39 +0200)
committerGeorg Brandl <georg@python.org>
Thu, 2 Oct 2014 06:39:42 +0000 (08:39 +0200)

Trivial merge