commit | 83ec302e5204840ca05e92d9a52dcb388ee30978 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Tue Jan 17 20:43:28 2017 -0800 |
committer | Guido van Rossum <guido@python.org> | Tue Jan 17 20:43:28 2017 -0800 |
tree | 56653e39efa9c21198a413edde77508286fd6e36 | |
parent | e741e4f88e2d65dad1a4ba5dc5a1e3848e909db5 [diff] |
Issue #28556: merge 5 more typing changes from upstream (#340, #344, #348, #349, #350)