Created on 2020-01-16 08:25 by vstinner, last changed 2020-01-16 09:24 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 18022 | merged | vstinner, 2020-01-16 08:30 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-01-16 09:24:34 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2020-01-16 09:24:20 | vstinner | set | messages: + msg360102 |
2020-01-16 08:32:40 | vstinner | set | messages: + msg360097 |
2020-01-16 08:30:48 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request17418 |
2020-01-16 08:25:17 | vstinner | create |