Code

Merge main to release/dev17.8#15662

Code

Merged

vzarytovskii 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 clipboardJul 21, 2023

+626-108

Commits

Commits on Jul 21, 2023

• Suggest identifier names in patterns (#15530)

  Show description for 218206f
  

  kerams

  and

  vzarytovskii

  authored
  218206f

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

  Show description for 92ba60e
  dotnet-maestro[bot]

  authored
  92ba60e

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

  vzarytovskii

  authored
  b391498