]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
Auto merge of #60937 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 19 May 2019 08:56:24 +0000 (08:56 +0000)
committerbors <bors@rust-lang.org>
Sun, 19 May 2019 08:56:24 +0000 (08:56 +0000)
commitce41e4836265001544379bc5427aa02698535cc3
tree4b23abd2c19ed59f2579655bb05ec38042dfdada
parente0d2f7462b07039c7327d8331272a804c025b047
parent5f5e30fd548a1cb223a8ed00abf949d5ca536fc4
Auto merge of #60937 - RalfJung:miri, r=oli-obk

update Miri

r? @oli-obk