Created on 2019-08-23 21:23 by tcaswell, last changed 2019-08-29 16:30 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 15440 | merged | tcaswell, 2019-08-23 21:54 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-08-29 16:30:50 | vstinner | set | status: open -> closed resolution: fixed messages: + msg350797 stage: patch review -> resolved |
2019-08-29 16:30:07 | vstinner | set | messages: + msg350796 |
2019-08-23 21:54:17 | tcaswell | set | keywords:
+ patch stage: patch review pull_requests: + pull_request15133 |
2019-08-23 21:24:40 | tcaswell | set | components: + Extension Modules, - Library (Lib) |
2019-08-23 21:23:01 | tcaswell | create |