Merge release/dev17.8 to release/dev17.9#16095

Merged

vzarytovskii merged 5 commits intorelease/dev17.9from

merges/release/dev17.8-to-release/dev17.9

Oct 10, 2023

Commits on Sep 26, 2023

Update target insertion branch for 17.8
vzarytovskii
authored

Commits on Oct 2, 2023

Merge branch 'release/dev17.8' into vzarytovskii-patch-19
vzarytovskii
authored

Commits on Oct 3, 2023

Merge pull request #16045 from dotnet/vzarytovskii-patch-19
vzarytovskii
authored

Commits on Oct 10, 2023