Merge main to release/dev17.7#15302

T-Gro merged 2 commits intorelease/dev17.7dotnet/fsharp:release/dev17.7from

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