[main] Source code updates from dotnet/dotnet#12698
Merged
davidwengier merged 2 commits intoJan 17, 2026
Merged
DotNet Maestro / Maestro auto-merge - Codeflow verification
succeeded
Jan 17, 2026 in 0s
Backflow checks succeeded.
Loading