Merge dev16.1 to fsharp5#6465

1 commit merged intofsharp5dotnet/fsharp:fsharp5from

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