Closed carmenbianca closed 1 month ago
As discussed on 2024-07-05
Fixes #1040
changelog.d/<directory>/
docs/man/
Note to self: DO NOT MERGE before #1047. These two PRs seem incompatible to me, and it's easier to fix this PR afterwards than it is to fix that PR.
As discussed on 2024-07-05
Fixes #1040
changelog.d/<directory>/
.docs/man/
or elsewhere.