Code

Merge main to release/dev17.5#14299

Code

Merged

dotnet-bot merged 2 commits intorelease/dev17.5dotnet/fsharp:release/dev17.5from merges/main-to-release/dev17.5dotnet/fsharp:merges/main-to-release/dev17.5Copy head branch name to clipboardNov 11, 2022

+21-3

Commits

Commits on Nov 11, 2022

• Small command line Deprecations (#14295)

  Show description for 782c187
  KevinRansom

  authored
  782c187

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

  vzarytovskii

  authored
  e3a8b29