Code

Merge main to release/dev16.9#10311

Code

Merged

KevinRansom merged 1 commit intorelease/dev16.9dotnet/fsharp:release/dev16.9from merges/main-to-release/dev16.9dotnet/fsharp:merges/main-to-release/dev16.9Copy head branch name to clipboardOct 22, 2020

+2-3

Commits

Commits on Oct 21, 2020

• Include END to type repr ranges (#10298)

  auduchinok

  authored
  94f793a

  Copy full SHA for 94f793a