Merge dev16.1 to dev16.2#6682

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

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