Code

Merge main to release/dev17.8#15942

Code

Merged

T-Gro merged 3 commits intorelease/dev17.8dotnet/fsharp:release/dev17.8from merges/main-to-release/dev17.8dotnet/fsharp:merges/main-to-release/dev17.8Copy head branch name to clipboardSep 7, 2023

Commits

Commits on Sep 6, 2023

• Update scripts in documentation. (#15935)

  nojaf

  authored
  61d054d

  Copy full SHA for 61d054d

Commits on Sep 7, 2023

• Update dependencies from https://github.com/dotnet/source-build-reference-packages build 20230905.3 (#15937)

  Show description for e3e4037
  dotnet-maestro[bot]

  authored
  e3e4037

  Copy full SHA for e3e4037

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

  vzarytovskii

  authored
  c28e4e0

  Copy full SHA for c28e4e0