path: appending local paths to external paths#14278

Alizter wants to merge 2 commits intoocaml:mainocaml/dune:mainfrom

Alizter:push-muxxuvplzrznAlizter/dune:push-muxxuvplzrznCopy head branch name to clipboard