[main] Source code updates from dotnet/dotnet#12521
Merged
davidwengier merged 3 commits intoNov 22, 2025
Merged
DotNet Maestro / Maestro auto-merge - All Checks Successful
succeeded
Nov 22, 2025 in 3h 40m 17s
10 successful check(s)
Loading