Merge master to dev16.0#5681

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

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