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 2020-06-22 06:00 by nnemkin, last changed 2020-06-24 08:13 by nnemkin. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 21037 | merged | nnemkin, 2020-06-22 06:02 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-06-24 08:13:13 | nnemkin | set | messages: + msg372239 |
| 2020-06-23 23:32:53 | steve.dower | set | status: open -> closed resolution: fixed messages: + msg372219 stage: patch review -> resolved |
| 2020-06-23 23:32:30 | steve.dower | set | messages: + msg372218 |
| 2020-06-22 21:30:50 | steve.dower | set | assignee: steve.dower messages: + msg372122 |
| 2020-06-22 06:02:19 | nnemkin | set | keywords:
+ patch stage: patch review pull_requests: + pull_request20209 |
| 2020-06-22 06:00:23 | nnemkin | create | |
