Message352012
Paul, please heed what Raymond said: it's not good to merge another core dev's PR unless they ask you to. Besides what Raymond said, a core dev may well check in incomplete work for any number of reasons (e.g., to see how the automated test runs turn out). When I do that, I add a "DO NOT MERGE" label just to be sure, but that really shouldn't be necessary.
Raymond, I added a review anyway, despite that it's already been merged. One comment suggests repairing an obvious trivial typo. |
|
Date |
User |
Action |
Args |
2019-09-11 18:47:19 | tim.peters | set | recipients:
+ tim.peters, rhettinger, docs@python, p-ganssle |
2019-09-11 18:47:19 | tim.peters | set | messageid: <1568227639.43.0.277079789209.issue38096@roundup.psfhosted.org> |
2019-09-11 18:47:19 | tim.peters | link | issue38096 messages |
2019-09-11 18:47:19 | tim.peters | create | |
|