Merge main to release/dev17.4#13868

KevinRansom merged 2 commits intorelease/dev17.4dotnet/fsharp:release/dev17.4from

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