]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1478 - RalfJung:readme, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 15 Jul 2020 08:10:02 +0000 (08:10 +0000)
committerbors <bors@rust-lang.org>
Wed, 15 Jul 2020 08:10:02 +0000 (08:10 +0000)
commite5f2b1b3ef4835c84069b84c443f19c788632faa
treea819bd968c8bd77a1ff22b950b91f351399bf406
parentc830142e605f6196be494070930b9e8d9c8a5819
parent6dbfb2d9dee84b29612527044fc308e6304cfbf2
Auto merge of #1478 - RalfJung:readme, r=RalfJung

make cfg(miri) greppable