Created on 2018-09-12 00:31 by gvanrossum, last changed 2018-09-13 00:14 by benjamin.peterson. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 9212 | merged | benjamin.peterson, 2018-09-12 06:13 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2018-09-13 00:14:42 | benjamin.peterson | set | status: open -> closed resolution: fixed messages: + msg325219 stage: patch review -> resolved |
2018-09-12 06:13:48 | benjamin.peterson | set | keywords:
+ patch stage: patch review pull_requests: + pull_request8644 |
2018-09-12 06:13:32 | xtreak | set | messages: + msg325126 |
2018-09-12 06:04:00 | serhiy.storchaka | set | messages: + msg325125 |
2018-09-12 05:37:31 | xtreak | set | messages: + msg325123 |
2018-09-12 04:50:22 | serhiy.storchaka | set | nosy:
+ serhiy.storchaka |
2018-09-12 03:50:15 | xtreak | set | nosy:
+ xtreak |
2018-09-12 01:21:33 | benjamin.peterson | set | nosy:
+ benjamin.peterson messages: + msg325111 |
2018-09-12 00:31:54 | gvanrossum | create |