Message362440
Ethan, would you make the call on this? My recommendation is to close because we usually don't churn APIs unless there is a demonstrable benefit. Also, the current code reflects the dominant practice in the standard library which is both faster and more concise. |
|
Date |
User |
Action |
Args |
2020-02-21 23:59:54 | rhettinger | set | recipients:
+ rhettinger, cool-RR, ethan.furman |
2020-02-21 23:59:54 | rhettinger | set | messageid: <1582329594.0.0.512572376261.issue39717@roundup.psfhosted.org> |
2020-02-21 23:59:53 | rhettinger | link | issue39717 messages |
2020-02-21 23:59:53 | rhettinger | create | |
|