| commit | d0786a1a5036c06770f1c958323387fd682e789e | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@dropbox.com> | Thu Nov 07 08:39:28 2013 -0800 |
| committer | Guido van Rossum <guido@dropbox.com> | Thu Nov 07 08:39:28 2013 -0800 |
| tree | 69a5d2bc9cdea0202c72144e852ad9ec2f4bc590 | |
| parent | b7038817fee37fea81183d64c9dd957bab571fde [diff] |
Optimize BaseSelector.modify(). Patch by Arnaud Faure.