Skip to content

Update manpage and completions.#23282

Merged
MikeMcQuaid merged 1 commit into
mainfrom
sponsors-maintainers-man-completions
Jul 24, 2026
Merged

Update manpage and completions.#23282
MikeMcQuaid merged 1 commit into
mainfrom
sponsors-maintainers-man-completions

Conversation

@BrewTestBot

Copy link
Copy Markdown
Contributor

Autogenerated by the sponsors-maintainers-man-completions workflow.

@MikeMcQuaid
MikeMcQuaid enabled auto-merge July 24, 2026 07:40
@MikeMcQuaid
MikeMcQuaid added this pull request to the merge queue Jul 24, 2026
Merged via the queue into main with commit 742c705 Jul 24, 2026
44 checks passed
@MikeMcQuaid
MikeMcQuaid deleted the sponsors-maintainers-man-completions branch July 24, 2026 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants