Code

Merge main to release/dev17.5#14282

Code

Merged

dotnet-bot merged 3 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 9, 2022

+230-47

Commits

Commits on Nov 9, 2022

• Don't emit IsReadOnlyAttribute if not available. (#14276)

  Show description for 558cca1
  nojaf

  authored
  558cca1

• Even more compileroptions (#14253)

  Show description for d3fafb8
  KevinRansom

  authored
  d3fafb8

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

  vzarytovskii

  authored
  eb03692