Merge master to dev16.2#6713

1 commit merged intodev16.2dotnet/fsharp:dev16.2from

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