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 2022-02-14 02:15 by eclipseo, last changed 2022-02-17 11:00 by sobolevn. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 31322 | merged | eclipseo, 2022-02-14 02:15 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-02-17 11:00:41 | sobolevn | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
| 2022-02-17 05:20:13 | JelleZijlstra | set | nosy:
+ JelleZijlstra messages: + msg413386 |
| 2022-02-14 10:22:09 | AlexWaygood | set | keywords:
+ patch type: behavior stage: patch review |
| 2022-02-14 02:15:03 | eclipseo | create | |
