Merge dev16.1 to fsharp5#6508

2 commits merged intofsharp5dotnet/fsharp:fsharp5from

merges/dev16.1-to-fsharp5dotnet/fsharp:merges/dev16.1-to-fsharp5Copy head branch name to clipboard