Skip to content

Clarify that type abbreviations need not be shorter#50083

Merged
BillWagner merged 3 commits intomainfrom
copilot/fix-type-abbreviation-naming
Nov 24, 2025
Merged

Clarify that type abbreviations need not be shorter#50083
BillWagner merged 3 commits intomainfrom
copilot/fix-type-abbreviation-naming

Commits

Commits on Nov 21, 2025

Commits on Nov 24, 2025