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 2018-09-30 16:25 by serhiy.storchaka, last changed 2018-09-30 18:41 by gvanrossum. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 9645 | merged | serhiy.storchaka, 2018-09-30 16:29 | |
| PR 9646 | merged | miss-islington, 2018-09-30 18:07 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-09-30 18:41:05 | gvanrossum | set | messages: + msg326743 |
| 2018-09-30 18:33:39 | serhiy.storchaka | set | status: open -> closed resolution: fixed messages: + msg326742 stage: patch review -> resolved |
| 2018-09-30 18:19:20 | miss-islington | set | nosy:
+ miss-islington messages: + msg326739 |
| 2018-09-30 18:07:22 | miss-islington | set | pull_requests: + pull_request9038 |
| 2018-09-30 18:07:10 | serhiy.storchaka | set | messages: + msg326737 |
| 2018-09-30 16:29:33 | serhiy.storchaka | set | keywords:
+ patch stage: patch review pull_requests: + pull_request9037 |
| 2018-09-30 16:25:00 | serhiy.storchaka | create | |
