Created on 2019-05-30 07:48 by jdemeyer, last changed 2019-06-05 08:32 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 13677 | merged | christian.heimes, 2019-05-30 09:01 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-06-05 08:32:19 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2019-05-30 09:27:11 | christian.heimes | set | messages: + msg343959 |
2019-05-30 09:01:38 | christian.heimes | set | keywords:
+ patch stage: patch review pull_requests: + pull_request13565 |
2019-05-30 07:48:01 | jdemeyer | create |