Merge internal changes#12896

Merged

joperezr merged 16 commits intodotnet:release/13.0from

joperezr:MergeInternalChanges

Nov 11, 2025

Commits on Nov 10, 2025

Merge remote-tracking branch 'origin/release/13.0' into MergeRel13
joperezr
committed
Update to latest dotnet/extensions
joperezr
committed
Merged PR 55114: Merge in changes from public release/13.0 and bump to latest dotnet/extensions
joperezr
committed

Commits on Nov 11, 2025