Created on 2018-07-25 16:54 by vstinner, last changed 2018-07-26 08:53 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 8467 | merged | vstinner, 2018-07-25 17:03 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2018-07-26 08:53:13 | vstinner | set | status: open -> closed resolution: fixed messages: + msg322407 stage: patch review -> resolved |
2018-07-25 17:23:56 | vstinner | set | messages: + msg322372 |
2018-07-25 17:03:23 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request7991 |
2018-07-25 16:54:55 | vstinner | create |