Merge main to release/dev17.4#13808

KevinRansom merged 4 commits into

release/dev17.4dotnet/fsharp:release/dev17.4from

merges/main-to-release/dev17.4dotnet/fsharp:merges/main-to-release/dev17.4Copy head branch name to clipboard