Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: move 5 collaborators to emeritus status
Move 5 Collaborators to emeritus status. These particular five Collaborators have done some great stuff, but have been relatively inactive during the last two years or so. (They have been asked via email if they would like to remain Collaborators or more to Emeritus. This isn't a suddent thing.) PR-URL: #21272 Reviewed-By: Jon Moss <[email protected]> Reviewed-By: Matteo Collina <[email protected]> Reviewed-By: Michael Dawson <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: Jeremiah Senkpiel <[email protected]> Reviewed-By: Colin Ihrig <[email protected]> Reviewed-By: Yuta Hiroto <[email protected]> Reviewed-By: Sakthipriyan Vairamani <[email protected]> Reviewed-By: Weijia Wang <[email protected]> Reviewed-By: Tiancheng "Timothy" Gu <[email protected]> Reviewed-By: Tobias Nießen <[email protected]> Reviewed-By: Matheus Marchini <[email protected]> Reviewed-By: Trivikram Kamat <[email protected]> Reviewed-By: Сковорода Никита Андреевич <[email protected]>
- Loading branch information
