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-12-30 05:18 by ncoghlan, last changed 2020-01-09 12:28 by petr.viktorin. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 17896 | merged | petr.viktorin, 2020-01-07 20:17 | |
| PR 17918 | merged | miss-islington, 2020-01-09 12:05 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-01-09 12:28:05 | petr.viktorin | set | status: open -> closed stage: patch review -> resolved |
| 2020-01-09 12:27:42 | miss-islington | set | messages: + msg359671 |
| 2020-01-09 12:05:40 | miss-islington | set | nosy:
+ miss-islington messages: + msg359670 |
| 2020-01-09 12:05:40 | miss-islington | set | pull_requests: + pull_request17329 |
| 2020-01-07 20:17:55 | petr.viktorin | set | keywords:
+ patch stage: needs patch -> patch review pull_requests: + pull_request17312 |
| 2020-01-07 13:23:48 | petr.viktorin | set | messages: + msg359510 |
| 2019-12-30 05:18:47 | ncoghlan | create | |
