Created on 2019-04-25 23:22 by vstinner, last changed 2019-05-13 14:22 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 13241 | merged | vstinner, 2019-05-11 01:57 | |
PR 13282 | merged | vstinner, 2019-05-13 13:57 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-05-13 14:22:56 | vstinner | set | messages: + msg342333 |
2019-05-13 13:57:14 | vstinner | set | pull_requests: + pull_request13189 |
2019-05-13 10:35:55 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2019-05-13 10:35:42 | vstinner | set | messages: + msg342306 |
2019-05-13 09:07:38 | vstinner | set | messages: + msg342291 |
2019-05-13 02:18:54 | gregory.p.smith | set | nosy:
+ gregory.p.smith messages: + msg342279 |
2019-05-11 01:58:38 | vstinner | set | messages: + msg342147 |
2019-05-11 01:57:21 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request13151 |
2019-04-25 23:22:09 | vstinner | create |