]> git.lizzy.rs Git - rust.git/commit
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)
commit6b96b17470d3220ff83353fe6ddb892d15d15538
treeeed478cf90ab0ef4c81d1839e03603bfa9862262
parente739b81669bda86a1860e7603b4cf34c51d5e12e
parent3b7f36ef8d9ce4419c643b774b58831ba86b8a8f
Auto merge of #1522 - RalfJung:readme, r=RalfJung

emphasize that some flags are unsound to use