Code

Merge main to release/dev17.13#17892

Code

Merged

T-Gro merged 3 commits intorelease/dev17.13dotnet/fsharp:release/dev17.13from

merges/main-to-release/dev17.13dotnet/fsharp:merges/main-to-release/dev17.13Copy head branch name to clipboard

Oct 17, 2024

Commits

Commits on Oct 16, 2024

• Better error range for `struct` and restricted super types `inherit` (#17886)

  Show description for 346a59f
  edgarfgp

  authored
  346a59f

  Copy full SHA for 346a59f

• Update tools (#17889)

  vzarytovskii

  authored
  69dd6d7

  Copy full SHA for 69dd6d7

Commits on Oct 17, 2024

• Merge branch 'release/dev17.13' into merges/main-to-release/dev17.13

  T-Gro

  authored
  635e73a

  Copy full SHA for 635e73a