Merge dev15.8 to dev16.0#5219

KevinRansom merged 2 commits intodev16.0dotnet/fsharp:dev16.0from

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