]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1842e12 91185fe)
Sync typing.py with upstream (merge 3.5->3.6).
authorGuido van Rossum <guido@dropbox.com>
Wed, 8 Jun 2016 18:20:02 +0000 (11:20 -0700)
committerGuido van Rossum <guido@dropbox.com>
Wed, 8 Jun 2016 18:20:02 +0000 (11:20 -0700)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.