Created on 2020-03-06 22:54 by vstinner, last changed 2020-03-25 18:28 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 18819 | merged | vstinner, 2020-03-06 23:02 | |
PR 19157 | merged | vstinner, 2020-03-25 18:03 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-03-25 18:28:14 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2020-03-25 18:27:43 | vstinner | set | messages: + msg365009 |
2020-03-25 18:03:11 | vstinner | set | pull_requests: + pull_request18517 |
2020-03-06 23:54:24 | vstinner | set | messages: + msg363567 |
2020-03-06 23:02:34 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request18177 |
2020-03-06 22:54:10 | vstinner | create |