Created on 2017-12-31 19:14 by pitrou, last changed 2017-12-31 21:35 by pitrou. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 5067 | merged | pitrou, 2017-12-31 19:35 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-12-31 21:35:56 | pitrou | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2017-12-31 21:35:24 | pitrou | set | messages: + msg309311 |
2017-12-31 19:41:31 | yselivanov | set | messages: + msg309301 |
2017-12-31 19:35:20 | pitrou | set | nosy:
+ benjamin.peterson |
2017-12-31 19:35:06 | pitrou | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4941 |
2017-12-31 19:14:55 | pitrou | create |