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-09 19:27 by timgates42, last changed 2019-12-09 22:16 by pablogsal. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 17544 | merged | timgates42, 2019-12-09 19:34 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-12-09 22:16:23 | pablogsal | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
| 2019-12-09 22:16:04 | pablogsal | set | messages: + msg358148 |
| 2019-12-09 19:41:23 | pablogsal | set | assignee: pablogsal nosy: + pablogsal |
| 2019-12-09 19:34:07 | timgates42 | set | keywords:
+ patch stage: patch review pull_requests: + pull_request17020 |
| 2019-12-09 19:27:25 | timgates42 | create | |
