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-11-27 16:40 by serhiy.storchaka, last changed 2017-11-28 16:02 by serhiy.storchaka. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 4583 | merged | serhiy.storchaka, 2017-11-27 16:40 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-12-09 03:11:24 | martin.panter | link | issue28185 superseder |
| 2017-11-28 16:02:59 | serhiy.storchaka | set | status: open -> closed resolution: fixed messages: + msg307140 stage: patch review -> resolved |
| 2017-11-28 15:56:12 | serhiy.storchaka | set | messages: + msg307136 |
| 2017-11-28 15:51:06 | gvanrossum | set | messages: + msg307134 |
| 2017-11-27 19:09:28 | gvanrossum | set | messages: + msg307075 |
| 2017-11-27 18:16:13 | serhiy.storchaka | set | messages: + msg307074 |
| 2017-11-27 17:57:55 | gvanrossum | set | messages: + msg307073 |
| 2017-11-27 17:33:05 | gvanrossum | set | messages: + msg307071 |
| 2017-11-27 16:40:51 | serhiy.storchaka | set | keywords:
+ patch pull_requests: + pull_request4512 |
| 2017-11-27 16:40:18 | serhiy.storchaka | create | |
