Stream: t-compiler

Topic: miri update


RalfJ (Mar 03 2020 at 18:26, on Zulip):

Can someone review https://github.com/rust-lang/rust/pull/69636 so that we can get miri green again? Should be an easy review.
Miri has been red for a while now, wold be nice to get that fixed :D

nikomatsakis (Mar 03 2020 at 20:32, on Zulip):

done

Last update: May 29 2020 at 17:20UTC