Created on 2017-10-19 17:37 by pitrou, last changed 2017-10-19 19:47 by yselivanov. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 4051 | merged | pitrou, 2017-10-19 17:38 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-10-19 19:47:17 | yselivanov | set | status: open -> closed resolution: fixed messages: + msg304641 stage: patch review -> resolved |
| 2017-10-19 19:46:42 | yselivanov | set | messages: + msg304640 |
| 2017-10-19 19:42:38 | gvanrossum | set | messages: + msg304639 |
| 2017-10-19 18:05:30 | yselivanov | set | nosy:
+ gvanrossum messages: + msg304629 |
| 2017-10-19 17:38:43 | pitrou | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4020 |
| 2017-10-19 17:37:49 | pitrou | create | |


