Created on 2019-11-22 18:41 by vstinner, last changed 2019-11-23 01:38 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 17354 | merged | vstinner, 2019-11-22 18:45 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-11-23 01:38:07 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2019-11-23 01:30:52 | vstinner | set | messages: + msg357355 |
2019-11-22 18:45:00 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request16839 |
2019-11-22 18:44:54 | vstinner | set | messages: + msg357313 |
2019-11-22 18:41:13 | vstinner | create |