Code

Merge main to release/dev17.8#15995

Code

Merged

T-Gro merged 6 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 19, 2023

+131-69

Commits

Commits on Sep 18, 2023

• Fix a bug in a code fix (#15973)

  psfinaki

  authored
  b38874e

• Small cleanup in code fixes + tests for a legacy code fix (#15934)

  Show description for e31702c
  psfinaki

  authored
  e31702c

• [main] Update dependencies from dotnet/source-build-reference-packages (#15949)

  Show description for 6e9022a
  dotnet-maestro[bot]

  authored
  6e9022a

• [main] Update dependencies from dotnet/arcade (#15975)

  Show description for 468b3b6
  dotnet-maestro[bot]

  authored
  468b3b6

• Fix for AllUsesOfAllSymbols missing when using change notifications (#15966)

  0101

  authored
  5c49146

Commits on Sep 19, 2023

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

  T-Gro

  authored
  9b22031