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-10-24 01:09 by pdox, last changed 2020-03-17 01:04 by vstinner. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 4098 | merged | pdox, 2017-10-24 01:31 | |
| PR 19034 | vstinner, 2020-03-17 01:04 | ||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-03-17 01:04:51 | vstinner | set | pull_requests: + pull_request18384 |
| 2019-11-04 17:16:57 | vstinner | set | nosy:
+ vstinner messages: + msg355965 |
| 2017-10-26 06:03:32 | benjamin.peterson | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
| 2017-10-26 06:03:07 | benjamin.peterson | set | nosy:
+ benjamin.peterson messages: + msg305024 |
| 2017-10-24 01:31:05 | pdox | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4069 |
| 2017-10-24 01:09:22 | pdox | create | |
