Merge release/dev17.8 to release/dev17.9#16060

vzarytovskii merged 2 commits intorelease/dev17.9dotnet/fsharp:release/dev17.9from

merges/release/dev17.8-to-release/dev17.9dotnet/fsharp:merges/release/dev17.8-to-release/dev17.9Copy head branch name to clipboard