Message318891
What should we do with this issue? Raymond, it sounds like you think the proposed PR should not be merged, is that right? If so, should the issue and PR be closed? Other opinions? I would like to resolve this so we can either merge or close PR 5667. Thanks! |
|
Date |
User |
Action |
Args |
2018-06-07 05:04:06 | ned.deily | set | recipients:
+ ned.deily, rhettinger, eric.araujo, docs@python, berker.peksag, chandan, cheryl.sabella |
2018-06-07 05:04:06 | ned.deily | set | messageid: <1528347846.79.0.592728768989.issue21196@psf.upfronthosting.co.za> |
2018-06-07 05:04:06 | ned.deily | link | issue21196 messages |
2018-06-07 05:04:06 | ned.deily | create | |
|