Code

Merge main to release/dev17.8#15734

Code

Merged

vzarytovskii merged 2 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 clipboardAug 2, 2023

+215-178

Commits

Commits on Aug 1, 2023

• Non-functional code fix improvements (#15729)

  psfinaki

  authored
  6dd6899

Commits on Aug 2, 2023

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

  vzarytovskii

  authored
  8755ec0