Sort contributor listings alphabetically by first name and remove company affiliations from emeritus sections#96
Closed
Copilot wants to merge 1 commit into
Closed
Sort contributor listings alphabetically by first name and remove company affiliations from emeritus sections#96Copilot wants to merge 1 commit into
Copilot wants to merge 1 commit into
Commits
Commits on Jul 8, 2025
- committed
