Created on 2018-01-25 00:46 by jcea, last changed 2020-10-27 14:57 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 5307 | merged | jcea, 2018-01-25 03:02 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-10-27 14:57:48 | vstinner | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2020-10-16 18:23:20 | iritkatriel | set | nosy:
+ iritkatriel messages: + msg378731 |
2018-01-28 13:00:11 | jcea | set | messages: + msg310945 |
2018-01-25 03:02:14 | jcea | set | keywords:
+ patch stage: needs patch -> patch review pull_requests: + pull_request5154 |
2018-01-25 00:46:54 | jcea | create |