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

KevinRansom merged 4 commits intorelease/fsharp47dotnet/fsharp:release/fsharp47from

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