path.push() should work as expected on windows verbatim paths#89270

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

seanyoung:join_foldseanyoung/rust:join_foldCopy head branch name to clipboard