Repository navigation

Merge release/dev17.12 to main - #17863

Merged

psfinaki merged 8 commits into

mainfrom

merges/release/dev17.12-to-main

Oct 23, 2024

Merged

Merge release/dev17.12 to main#17863
psfinaki merged 8 commits into
mainfrom
merges/release/dev17.12-to-main

Commits on Oct 9, 2024
- Revert PR - Make the interaction between #line and #nowarn directives consistent (#17859)
  KevinRansom
  authored
  c3eb162
Commits on Oct 10, 2024
- Merge branch 'main' into merges/release/dev17.12-to-main
  T-Gro
  authored
  08fd2c3
- Update LanguageFeatures.fs
  vzarytovskii
  authored
  75e645d
- Merge branch 'main' into merges/release/dev17.12-to-main
  vzarytovskii
  authored
  88e52e7
- Merge branch 'main' into merges/release/dev17.12-to-main
  T-Gro
  authored
  1d44af5
- Merge branch 'main' into merges/release/dev17.12-to-main
  T-Gro
  authored
  77dc1ba
Commits on Oct 22, 2024
- Merge branch 'main' into merges/release/dev17.12-to-main
  KevinRansom
  authored
  94a8d3e
Commits on Oct 23, 2024
- Merge branch 'main' into merges/release/dev17.12-to-main
  T-Gro
  authored
  898287a