Code

Merge main to release/dev17.12#17461

Code

Merged

KevinRansom merged 2 commits intorelease/dev17.12dotnet/fsharp:release/dev17.12from merges/main-to-release/dev17.12dotnet/fsharp:merges/main-to-release/dev17.12Copy head branch name to clipboardJul 30, 2024

+75-15

Commits

Commits on Jul 29, 2024

• Treat { new Foo() } as SynExpr.ObjExpr (#17388)

  edgarfgp

  authored
  df43ab1

  Copy full SHA for df43ab1

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

  vzarytovskii

  authored
  dd0d5e3

  Copy full SHA for dd0d5e3