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 2021-11-04 17:45 by Carl.Friedrich.Bolz, last changed 2021-11-16 22:31 by pablogsal. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 29413 | merged | pablogsal, 2021-11-04 20:19 | |
| PR 29428 | merged | pablogsal, 2021-11-05 13:59 | |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2021-11-16 22:31:49 | pablogsal | set | messages: + msg406439 |
| 2021-11-05 13:59:51 | pablogsal | set | pull_requests: + pull_request27683 |
| 2021-11-05 13:57:15 | pablogsal | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
| 2021-11-05 13:55:10 | pablogsal | set | messages: + msg405798 |
| 2021-11-04 20:19:58 | pablogsal | set | keywords:
+ patch stage: patch review pull_requests: + pull_request27665 |
| 2021-11-04 18:48:53 | aroberge | set | nosy:
+ aroberge |
| 2021-11-04 18:40:02 | eric.smith | set | nosy:
+ pablogsal, lys.nikolaou components: + Parser |
| 2021-11-04 17:45:48 | Carl.Friedrich.Bolz | create | |
