| commit | e259267e52fb14571ae3845d3d93985ad96425b9 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Sat Oct 08 20:27:22 2016 -0700 |
| committer | Guido van Rossum <guido@python.org> | Sat Oct 08 20:27:22 2016 -0700 |
| tree | 86494f80bfb51d66ee97c0ec7da8fbb42e456528 | |
| parent | 7b2aa2e87c524f165f7664fbe473d0be10af8c7a [diff] |
Merge further typing.py changes from upstream.