Created on 2017-11-28 10:29 by vstinner, last changed 2017-11-28 20:33 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 4605 | merged | vstinner, 2017-11-28 10:34 | |
PR 4609 | merged | vstinner, 2017-11-28 14:29 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-11-28 20:33:43 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2017-11-28 20:33:22 | vstinner | set | messages: + msg307160 |
2017-11-28 15:40:40 | vstinner | set | messages: + msg307130 |
2017-11-28 15:27:57 | serhiy.storchaka | set | nosy:
+ serhiy.storchaka messages: + msg307129 |
2017-11-28 14:30:02 | vstinner | set | messages: + msg307122 |
2017-11-28 14:29:15 | vstinner | set | pull_requests: + pull_request4525 |
2017-11-28 14:19:58 | vstinner | set | messages: + msg307121 |
2017-11-28 10:34:45 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4522 |
2017-11-28 10:29:10 | vstinner | create |