]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8128d5a 043a8bc)
Issue #28556: merge 5 more typing changes from upstream (#340, #344, #348, #349,...
authorGuido van Rossum <guido@python.org>
Wed, 18 Jan 2017 04:43:31 +0000 (20:43 -0800)
committerGuido van Rossum <guido@python.org>
Wed, 18 Jan 2017 04:43:31 +0000 (20:43 -0800)

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