Merge master to release/dev16.2#6798

3 commits merged intorelease/dev16.2dotnet/fsharp:release/dev16.2from

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