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

Merged

bors merged 1 commit intorust-lang:masterfrom seanyoung:join_fold

Oct 5, 2021

+55-7

Commits on Oct 1, 2021

path.push() should work as expected on windows verbatim paths
seanyoung
committed