]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1423 - RalfJung:rustup, r=RalfJung
authorbors <bors@rust-lang.org>
Thu, 21 May 2020 14:34:05 +0000 (14:34 +0000)
committerbors <bors@rust-lang.org>
Thu, 21 May 2020 14:34:05 +0000 (14:34 +0000)
rustup

No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425.


Trivial merge