This issue tracker will soon become read-only and move to GitHub.
For a smoother transition, remember to
log in and link your GitHub username to your profile.
For more information,
see this post about the migration.
Created on 2019-04-24 15:17 by xdegaye, last changed 2019-09-11 13:26 by benjamin.peterson. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 14800 | merged | ZackerySpytz, 2019-07-16 18:06 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-09-11 13:26:10 | benjamin.peterson | set | status: open -> closed nosy: + benjamin.peterson messages: + msg351864 resolution: fixed stage: patch review -> resolved |
| 2019-07-16 18:31:53 | ZackerySpytz | set | nosy:
+ ZackerySpytz |
| 2019-07-16 18:06:01 | ZackerySpytz | set | keywords:
+ patch stage: needs patch -> patch review pull_requests: + pull_request14596 |
| 2019-04-24 15:17:17 | xdegaye | create | |

