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

shonfeder merged 1 commit intoocaml:mainocaml/dune:mainfrom

Alizter:push-mxlmmvsxqqupAlizter/dune:push-mxlmmvsxqqupCopy head branch name to clipboard