Merge release/dev17.7 to release/dev17.8#16030

T-Gro merged 3 commits intorelease/dev17.8dotnet/fsharp:release/dev17.8from

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