]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #954 - RalfJung:rustup, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 16 Sep 2019 07:32:21 +0000 (07:32 +0000)
committerbors <bors@rust-lang.org>
Mon, 16 Sep 2019 07:32:21 +0000 (07:32 +0000)
update for rustc changes

https://github.com/rust-lang/rust/pull/60584 changed some stuff around ICEs. What I am not sure about is whether we should call `install_ice_hook` or not. @jonas-schievink @oli-obk any advice?


Trivial merge