Use `join_with_double_colon` in `write_shared.rs`.#142869

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:join_path-mininnethercote/rust:join_path-miniCopy head branch name to clipboard