]> granicus.if.org Git - python/commitdiff
Merge further typing.py changes from upstream. (merge 3.6->3.7)
authorGuido van Rossum <guido@python.org>
Sun, 9 Oct 2016 03:28:16 +0000 (20:28 -0700)
committerGuido van Rossum <guido@python.org>
Sun, 9 Oct 2016 03:28:16 +0000 (20:28 -0700)

Trivial merge