Merge dev16.0 to dev16.1#6284

1 commit merged into

dev16.1dotnet/fsharp:dev16.1from

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