]> granicus.if.org Git - python/commitdiff
Fix indent (merge)
authorGuido van Rossum <guido@python.org>
Fri, 21 Oct 2016 21:31:37 +0000 (14:31 -0700)
committerGuido van Rossum <guido@python.org>
Fri, 21 Oct 2016 21:31:37 +0000 (14:31 -0700)

Trivial merge