Repository navigation

Merge main to release/dev17.13 - #17885

Merged

T-Gro merged 3 commits into

release/dev17.13from

merges/main-to-release/dev17.13

Oct 16, 2024

Commits on Oct 15, 2024
- Fix a link in release notes (#17883)
  psfinaki
  authored
  349a95d
- Nullness bugfix :: could not assign null to member val property (#17845)
  T-Gro
  authored
  3493c76
Commits on Oct 16, 2024
- Merge branch 'release/dev17.13' into merges/main-to-release/dev17.13
  T-Gro
  authored
  189564f