Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #890 - RalfJung:xargo, r=RalfJung
go back to released xargo (the experiment is done) The experiment in rust-lang/rust#63162 was successful, now we have to wait for a new xargo release.
- Loading branch information