Skip to content

Sort contributor listings and remove company affiliations from emeritus members#15

Closed
Copilot wants to merge 1 commit into
mainfrom
copilot/fix-14
Closed

Sort contributor listings and remove company affiliations from emeritus members#15
Copilot wants to merge 1 commit into
mainfrom
copilot/fix-14

Commits

Commits on Jul 9, 2025