[main] Source code updates from dotnet/dotnet#12694
Merged
davidwengier merged 2 commits intoJan 16, 2026
Merged
DotNet Maestro / Maestro auto-merge - All Checks Successful
failed
Jan 16, 2026 in 1h 37m 2s
2 pending check(s)
Loading