Code

Merge main to release/dev17.10#16801

Code

Merged

vzarytovskii merged 2 commits intorelease/dev17.10dotnet/fsharp:release/dev17.10from merges/main-to-release/dev17.10dotnet/fsharp:merges/main-to-release/dev17.10Copy head branch name to clipboardMar 4, 2024

+27-42

Commits

Commits on Mar 4, 2024

• clean up the fixes from PRs 16774 and 16785 to not spill over into pars.fsy (#16796)

  dawedawe

  authored
  77b9afd

  Copy full SHA for 77b9afd

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

  vzarytovskii

  authored
  3143a2f

  Copy full SHA for 3143a2f