Code

Merge main to release/dev17.13#17954

Code

Merged

T-Gro merged 2 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

Nov 5, 2024

Commits

Commits on Nov 4, 2024

• fix OriginalLine (#17949)

  Martin521

  authored
  34a478e

  Copy full SHA for 34a478e

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

  vzarytovskii

  authored
  abce1c5

  Copy full SHA for abce1c5