From: bors <bors@rust-lang.org>
Date: Sat, 22 Aug 2020 12:32:35 +0000 (+0000)
Subject: Auto merge of #1522 - RalfJung:readme, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=6b96b17470d3220ff83353fe6ddb892d15d15538;p=rust.git

Auto merge of #1522 - RalfJung:readme, r=RalfJung

emphasize that some flags are unsound to use
---

6b96b17470d3220ff83353fe6ddb892d15d15538