]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1329 - RalfJung:readme, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 13 Apr 2020 15:41:50 +0000 (15:41 +0000)
committerbors <bors@rust-lang.org>
Mon, 13 Apr 2020 15:41:50 +0000 (15:41 +0000)
commitdf0e32c7579980c8984fbd1389229017c1200341
treec280705f63a46bc2e67cf4d6437bb76950bf3dd7
parentfbbd4428d0e771a9dc9adc98a150b410ba1b2b45
parenta6b66c31d7587254c71e60fa171827b3277f4a46
Auto merge of #1329 - RalfJung:readme, r=RalfJung

note Miri's leak check abilities and that they are disabled on Windows