Created on 2017-06-19 16:11 by vstinner, last changed 2017-06-27 13:45 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 2439 | merged | vstinner, 2017-06-27 12:39 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-06-27 13:45:50 | vstinner | set | status: open -> closed resolution: fixed messages: + msg297033 stage: resolved |
2017-06-27 13:37:21 | vstinner | set | messages: + msg297032 |
2017-06-27 12:39:01 | vstinner | set | pull_requests: + pull_request2488 |
2017-06-27 00:12:11 | vstinner | set | messages: + msg296979 |
2017-06-19 16:11:26 | vstinner | create |