Merge release/fsharp47 to release/dev16.3#7279

1 commit merged intorelease/dev16.3dotnet/fsharp:release/dev16.3from

merges/release/fsharp47-to-release/dev16.3dotnet/fsharp:merges/release/fsharp47-to-release/dev16.3Copy head branch name to clipboard