Sunbelt Computer Software

PL/B Language Development and Support

Merge main to release/dev17.13 by dotnet-bot · Pull Request #17890 · dotnet/fsharp · GitHub

Repository navigation

Merge main to release/dev17.13 - #17890

Merged

T-Gro merged 4 commits into

release/dev17.13from

merges/main-to-release/dev17.13

Oct 16, 2024

Merged

Merge main to release/dev17.13#17890
T-Gro merged 4 commits into
release/dev17.13from
merges/main-to-release/dev17.13

Commits on Oct 15, 2024
- Better `inherit` error reporting (#17879)
  edgarfgp
  authored
  14ca0c0
- Asorted tests improvements (#17840)
  majocha
  authored
  7ebe5c5
Commits on Oct 16, 2024
- [main] Update dependencies from dotnet/source-build-reference-packages (#17875)
  dotnet-maestro[bot]
  authored
  a89514e
- Merge branch 'release/dev17.13' into merges/main-to-release/dev17.13
  vzarytovskii
  authored
  af91595