Created on 2019-08-17 20:47 by eelizondo, last changed 2019-10-08 12:15 by petr.viktorin. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 15323 | merged | eelizondo, 2019-08-17 20:48 | |
PR 15966 | merged | petr.viktorin, 2019-09-11 14:30 | |
PR 16004 | merged | petr.viktorin, 2019-09-11 18:50 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-10-08 12:15:19 | petr.viktorin | set | status: open -> closed resolution: fixed messages: + msg354194 |
2019-09-13 15:11:41 | vstinner | set | status: closed -> open nosy: + vstinner messages: + msg352344 resolution: fixed -> (no value) |
2019-09-12 13:27:20 | petr.viktorin | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2019-09-12 09:44:49 | petr.viktorin | set | messages: + msg352082 |
2019-09-12 09:12:56 | petr.viktorin | set | messages: + msg352067 |
2019-09-11 18:50:02 | petr.viktorin | set | pull_requests: + pull_request15629 |
2019-09-11 14:30:47 | petr.viktorin | set | pull_requests: + pull_request15599 |
2019-09-11 09:17:17 | petr.viktorin | set | nosy:
+ petr.viktorin messages: + msg351773 |
2019-08-17 20:48:44 | eelizondo | set | keywords:
+ patch stage: patch review pull_requests: + pull_request15040 |
2019-08-17 20:47:30 | eelizondo | create |