Created on 2019-04-16 12:05 by inada.naoki, last changed 2019-04-16 23:41 by inada.naoki. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 12854 | merged | inada.naoki, 2019-04-16 12:19 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-04-16 23:41:02 | inada.naoki | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2019-04-16 23:39:58 | inada.naoki | set | messages: + msg340371 |
2019-04-16 12:54:39 | xtreak | set | nosy:
+ vstinner |
2019-04-16 12:40:53 | xtreak | set | nosy:
+ serhiy.storchaka |
2019-04-16 12:19:38 | inada.naoki | set | keywords:
+ patch stage: patch review pull_requests: + pull_request12780 |
2019-04-16 12:12:04 | inada.naoki | set | messages: + msg340335 |
2019-04-16 12:05:17 | inada.naoki | create |