Skip to content

Comments

Update sponsors.#15393

Merged
carlocab merged 1 commit intomasterfrom
sponsors-maintainers-man-completions
May 10, 2023
Merged

Update sponsors.#15393
carlocab merged 1 commit intomasterfrom
sponsors-maintainers-man-completions

Conversation

@BrewTestBot
Copy link
Contributor

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

@carlocab carlocab merged commit 47ad2e2 into master May 10, 2023
@carlocab carlocab deleted the sponsors-maintainers-man-completions branch May 10, 2023 05:18
@github-actions github-actions bot added the outdated PR was locked due to age label Jun 10, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

outdated PR was locked due to age

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants