]> git.lizzy.rs Git - rust.git/commit
Auto merge of #862 - RalfJung:rustup, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 29 Jul 2019 10:39:58 +0000 (10:39 +0000)
committerbors <bors@rust-lang.org>
Mon, 29 Jul 2019 10:39:58 +0000 (10:39 +0000)
commit5aa730803ebfa840507be4f79ab6db6ab9a97ac0
tree542b16f0d21213e317d7994386b56a0af76f5d1f
parenta49ef8b01987b0a64f1c044072632a41b35fb6ea
parent87f20fede528a2a99c06e6aae480adac91f5ecc2
Auto merge of #862 - RalfJung:rustup, r=RalfJung

bump Rust

My hypothesis is that this will replicate https://travis-ci.com/rust-lang/miri/jobs/220221687 (so we know which commit range caused it).