commit | 601953b67958572162d0ab7d3f24c07340ad9dbb | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Mon Oct 05 16:20:00 2015 -0700 |
committer | Guido van Rossum <guido@python.org> | Mon Oct 05 16:20:00 2015 -0700 |
tree | 7341a077fa62b61dd3916b405b19fd74a926ffe4 | |
parent | b9bf913ab32d27d221fb765fd90d64d07e926000 [diff] |
Docs and one small improvement for issue #25304, by Vincent Michel.