Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
meta: move pon collaborator to emeritus
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead.
- Loading branch information