]> git.lizzy.rs Git - rust.git/commit
Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 3 Aug 2019 15:22:09 +0000 (15:22 +0000)
committerbors <bors@rust-lang.org>
Sat, 3 Aug 2019 15:22:09 +0000 (15:22 +0000)
commita71ebf9066671de3c86e2419e6032cf4e67e31e4
tree5b60b818abd199fcaea60362596cf6c73def2891
parent9d3fdeeed713a36be3b858c423ee17f9c053303d
parent10f46336af2dea648c3b2ecf999d789d33bbfdd0
Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung

annotate some unwraps with better messages