Allow Path.is_descendant to work on external paths.#14382
Open
ElectreAAS wants to merge 1 commit intoocaml:mainfrom
Open
Allow Path.is_descendant to work on external paths.#14382ElectreAAS wants to merge 1 commit intoocaml:mainfrom
Path.is_descendant to work on external paths.#14382ElectreAAS wants to merge 1 commit intoocaml:mainfrom
