Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update maintainers. #17624

Merged
merged 1 commit into from
Jul 4, 2024
Merged

Conversation

BrewTestBot
Copy link
Member

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

@ZhongRuoyu ZhongRuoyu merged commit 5e7765c into master Jul 4, 2024
25 checks passed
@ZhongRuoyu ZhongRuoyu deleted the sponsors-maintainers-man-completions branch July 4, 2024 02:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants