Skip to content

Small typing cleanups#7716

Merged
jenshnielsen merged 2 commits intomicrosoft:mainfrom
jenshnielsen:cleanups
Dec 15, 2025
Merged

Small typing cleanups#7716
jenshnielsen merged 2 commits intomicrosoft:mainfrom
jenshnielsen:cleanups

Commits

Commits on Dec 14, 2025