Skip to content

Ensure that pushing empty path works as before on verbatim paths - #89665

Merged
bors merged 1 commit into
rust-lang:masterfrom
seanyoung:push-empty
Oct 22, 2021
Merged

Ensure that pushing empty path works as before on verbatim paths#89665
bors merged 1 commit into
rust-lang:masterfrom
seanyoung:push-empty

Commits

Commits on Oct 14, 2021