Merge master to dev15.8#5070

KevinRansom merged 1 commit intodev15.8dotnet/fsharp:dev15.8from

merges/master-to-dev15.8dotnet/fsharp:merges/master-to-dev15.8Copy head branch name to clipboard