Created on 2017-10-20 14:03 by vstinner, last changed 2017-10-24 09:19 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 4061 | merged | vstinner, 2017-10-20 14:51 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-10-24 09:19:23 | vstinner | set | status: open -> closed resolution: fixed messages: + msg304882 stage: patch review -> resolved |
2017-10-24 09:19:02 | vstinner | set | messages: + msg304881 |
2017-10-24 09:02:02 | vstinner | set | messages: + msg304875 |
2017-10-21 19:24:48 | serhiy.storchaka | set | nosy:
+ serhiy.storchaka messages: + msg304719 |
2017-10-20 14:52:14 | vstinner | set | messages:
+ msg304660 components: + Library (Lib) |
2017-10-20 14:51:31 | vstinner | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4030 |
2017-10-20 14:03:40 | vstinner | create |