]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #890 - RalfJung:xargo, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 6 Aug 2019 06:28:52 +0000 (06:28 +0000)
committerbors <bors@rust-lang.org>
Tue, 6 Aug 2019 06:28:52 +0000 (06:28 +0000)
go back to released xargo (the experiment is done)

The experiment in https://github.com/rust-lang/rust/pull/63162 was successful, now we have to wait for a new xargo release.


Trivial merge