]> granicus.if.org Git - python/commitdiff
Merge upstream typing.py changes from 3.5 branch.
authorGuido van Rossum <guido@dropbox.com>
Tue, 5 Apr 2016 15:35:22 +0000 (08:35 -0700)
committerGuido van Rossum <guido@dropbox.com>
Tue, 5 Apr 2016 15:35:22 +0000 (08:35 -0700)

Trivial merge