Created on 2017-12-14 23:11 by vstinner, last changed 2017-12-15 15:41 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 4873 | merged | vstinner, 2017-12-14 23:16 | |
PR 4875 | merged | vstinner, 2017-12-15 00:00 | |
PR 4884 | merged | vstinner, 2017-12-15 15:00 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-12-15 15:41:41 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2017-12-15 15:29:08 | vstinner | set | messages: + msg308405 |
2017-12-15 15:00:39 | vstinner | set | pull_requests: + pull_request4780 |
2017-12-15 00:43:00 | vstinner | set | messages: + msg308355 |
2017-12-15 00:39:50 | vstinner | set | messages: + msg308354 |
2017-12-15 00:00:11 | vstinner | set | pull_requests: + pull_request4769 |
2017-12-14 23:51:24 | vstinner | set | messages: + msg308348 |
2017-12-14 23:16:46 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4766 |
2017-12-14 23:11:20 | vstinner | create |