]> granicus.if.org Git - python/commitdiff
Docs and one small improvement for issue #25304, by Vincent Michel. (Merge 3.5->3.6.)
authorGuido van Rossum <guido@dropbox.com>
Mon, 5 Oct 2015 23:26:00 +0000 (16:26 -0700)
committerGuido van Rossum <guido@dropbox.com>
Mon, 5 Oct 2015 23:26:00 +0000 (16:26 -0700)

Trivial merge