Repository navigation

Merge release/dev17.12 to release/dev17.13 - #17862

Merged

T-Gro merged 3 commits into

release/dev17.13from

merges/release/dev17.12-to-release/dev17.13

Oct 10, 2024

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 'release/dev17.13' into merges/release/dev17.12-to-release/dev17.13
  T-Gro
  authored
  13771ee
- Merge branch 'release/dev17.13' into merges/release/dev17.12-to-release/dev17.13
  T-Gro
  authored
  1762e57