Make method Vec::remove() public#13003

japaric wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

japaric:vec-public-removejaparic/rust:vec-public-removeCopy head branch name to clipboard