]> granicus.if.org Git - python/commitdiff
Comment/docstring tweaks for typing.py. (Merge 3.5->3.6)
authorGuido van Rossum <guido@dropbox.com>
Thu, 26 May 2016 16:56:46 +0000 (09:56 -0700)
committerGuido van Rossum <guido@dropbox.com>
Thu, 26 May 2016 16:56:46 +0000 (09:56 -0700)

Trivial merge