Merge dev15.7 to dev15.8#4635

KevinRansom merged 2 commits intodev15.8dotnet/fsharp:dev15.8from

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