Merge main to release/dev16.8#10115

KevinRansom merged 1 commit into

release/dev16.8dotnet/fsharp:release/dev16.8from

merges/main-to-release/dev16.8dotnet/fsharp:merges/main-to-release/dev16.8Copy head branch name to clipboard