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-12-01 09:44 by asvetlov, last changed 2017-12-08 22:25 by asvetlov. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 4753 | merged | asvetlov, 2017-12-07 22:13 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-12-08 22:25:13 | asvetlov | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
| 2017-12-08 22:23:52 | asvetlov | set | messages: + msg307872 |
| 2017-12-07 23:07:24 | vstinner | set | nosy:
- vstinner |
| 2017-12-07 22:13:20 | asvetlov | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4656 |
| 2017-12-01 19:15:47 | asvetlov | set | messages: + msg307403 |
| 2017-12-01 17:54:59 | terry.reedy | set | nosy:
+ terry.reedy |
| 2017-12-01 16:50:47 | yselivanov | set | messages: + msg307394 |
| 2017-12-01 16:48:57 | yselivanov | set | messages: + msg307393 |
| 2017-12-01 16:38:31 | gvanrossum | set | messages: + msg307392 |
| 2017-12-01 09:45:09 | asvetlov | set | type: enhancement |
| 2017-12-01 09:44:48 | asvetlov | set | nosy:
+ gvanrossum, vstinner |
| 2017-12-01 09:44:32 | asvetlov | create | |
