Created on 2017-11-01 02:27 by vstinner, last changed 2017-11-02 11:19 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 4207 | merged | vstinner, 2017-11-01 02:27 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-11-02 11:19:44 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2017-11-02 11:19:24 | vstinner | set | messages: + msg305416 |
2017-11-01 02:27:59 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4176 |
2017-11-01 02:27:00 | vstinner | create |