]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1522 - RalfJung:readme, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 22 Aug 2020 12:32:35 +0000 (12:32 +0000)
committerbors <bors@rust-lang.org>
Sat, 22 Aug 2020 12:32:35 +0000 (12:32 +0000)
emphasize that some flags are unsound to use


Trivial merge