Message300870
OK. There's been no further comments, and I think the differences with PyZipFile's filterfunc are sufficient to warrant using a different name. I'm going to go with "filter". It's short, and says what it means. |
|
Date |
User |
Action |
Args |
2017-08-26 11:27:50 | paul.moore | set | recipients:
+ paul.moore, brett.cannon, irmen, serhiy.storchaka |
2017-08-26 11:27:50 | paul.moore | set | messageid: <1503746870.55.0.226991006754.issue31072@psf.upfronthosting.co.za> |
2017-08-26 11:27:50 | paul.moore | link | issue31072 messages |
2017-08-26 11:27:50 | paul.moore | create | |
|