Repository navigation

Project abstract types instead of falling back to includes - #1437

Merged

SimonCropp merged 2 commits into

mainfrom

project-abstract-types

Oct 8, 2026

Merged

Project abstract types instead of falling back to includes#1437
SimonCropp merged 2 commits into
mainfrom
project-abstract-types

Commits on Oct 8, 2026
- Project abstract types instead of falling back to includes
  SimonCropp
  committed
  fc54b3d
- Merge branch 'main' into project-abstract-types
  SimonCropp
  committed
  e10e0e7