Code

Merge main to release/dev17.10#16746

Code

Merged

vzarytovskii merged 3 commits intorelease/dev17.10dotnet/fsharp:release/dev17.10from merges/main-to-release/dev17.10dotnet/fsharp:merges/main-to-release/dev17.10Copy head branch name to clipboardFeb 22, 2024

+67-7

Commits

Commits on Feb 22, 2024

• Prefixed module nameof (#16743)

  Show description for 57098f6
  

  nojaf

  and

  dawedawe

  authored
  57098f6

  Copy full SHA for 57098f6

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

  KevinRansom

  authored
  39e7a28

  Copy full SHA for 39e7a28

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

  vzarytovskii

  authored
  75fa6be

  Copy full SHA for 75fa6be