Merge release/dev16.2 to release/fsharp47#7038

1 commit merged intorelease/fsharp47dotnet/fsharp:release/fsharp47from

merges/release/dev16.2-to-release/fsharp47dotnet/fsharp:merges/release/dev16.2-to-release/fsharp47Copy head branch name to clipboard