Merge dev16.0 to dev16.1#6317

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

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