Merge master to dev16.2#6683

2 commits merged intodev16.2dotnet/fsharp:dev16.2from

merges/master-to-dev16.2dotnet/fsharp:merges/master-to-dev16.2Copy head branch name to clipboard