This issue tracker will soon become read-only and move to GitHub.
For a smoother transition, remember to
log in and link your GitHub username to your profile.
For more information,
see this post about the migration.
Created on 2017-05-17 00:21 by vstinner, last changed 2017-06-27 12:04 by vstinner. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 2279 | merged | vstinner, 2017-06-19 15:14 | |
| PR 2438 | merged | vstinner, 2017-06-27 11:56 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-06-27 12:04:34 | vstinner | set | status: open -> closed resolution: fixed messages: + msg297027 |
| 2017-06-27 12:03:14 | vstinner | set | messages: + msg297026 |
| 2017-06-27 12:03:08 | vstinner | set | messages: + msg297025 |
| 2017-06-27 11:56:28 | vstinner | set | pull_requests: + pull_request2487 |
| 2017-06-19 16:36:29 | vstinner | set | status: closed -> open resolution: fixed -> (no value) messages: + msg296356 |
| 2017-06-19 16:35:35 | vstinner | set | status: open -> closed resolution: fixed messages: + msg296355 stage: resolved |
| 2017-06-19 16:33:23 | vstinner | set | messages: + msg296354 |
| 2017-06-19 15:23:26 | vstinner | set | messages: + msg296349 |
| 2017-06-19 15:14:17 | vstinner | set | pull_requests: + pull_request2328 |
| 2017-05-17 00:21:53 | vstinner | create | |
