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-03-06 13:49 by kj, last changed 2022-03-16 15:04 by kj.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 31707 | open | kj, 2022-03-06 13:51 | |
| PR 31936 | open | kj, 2022-03-16 15:04 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-03-16 15:04:06 | kj | set | pull_requests: + pull_request30028 |
| 2022-03-06 20:07:58 | brandtbucher | set | nosy:
+ brandtbucher |
| 2022-03-06 13:51:28 | kj | set | keywords:
+ patch stage: patch review pull_requests: + pull_request29827 |
| 2022-03-06 13:49:31 | kj | create | |
