Created on 2020-09-12 04:16 by mhammond, last changed 2021-01-11 12:50 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 22210 | open | mhammond, 2020-09-12 04:26 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2021-01-11 12:50:19 | vstinner | set | status: open -> closed nosy: + vstinner messages: + msg384813 resolution: wont fix stage: patch review -> resolved |
2020-09-12 04:26:53 | mhammond | set | keywords:
+ patch stage: patch review pull_requests: + pull_request21265 |
2020-09-12 04:16:45 | mhammond | create |