Merge main to release/dev17.10#16618

KevinRansom merged 3 commits intorelease/dev17.10dotnet/fsharp:release/dev17.10from

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