Code

Merge main to release/dev17.12#17646

Code

Merged

vzarytovskii 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 clipboardAug 31, 2024

+235-79

Commits

Commits on Aug 30, 2024

• Do not throw from IsUnionCaseTester and handle a case where symbol is not considered a method/property (#17634)

  Show description for 99bd001
  

  abonie

  and

  vzarytovskii

  authored
  99bd001

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

  vzarytovskii

  authored
  af54ca9