Fix difference between bootstrap & dune behaviour w.r.t include-subdirs ambiguity#12587

Merged

Alizter merged 2 commits intoocaml:mainfrom

ElectreAAS:repro-include-subdir-bug

Oct 21, 2025

Commits on Oct 21, 2025

Add 2 tests showing difference between bootstrap & dune w.r.t include-subdirs

ElectreAAS
authored and
Alizter
committed
fix(include-subdirs-qualified): prefer closer module of the same name

Alizter
and
ElectreAAS
committed