Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#40325 - eddyb:pr38143, r=alexcrichton
Added remove_from to vec.rs (rust-lang#38143) Turns out that if you push to someone's PR branch and cause the PR to close, you lose delegation π. @madseagames I'm really sorry about that π
- Loading branch information