Merge master to dev16.0#5127

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

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