diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-11 08:53:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-11 08:53:29 -0700 |
| commit | 95c5fb850e6b8bf2a5e4a69775b9254812afcfbc (patch) | |
| tree | 0ca16e0243d13bb807b846372dd2d147fc0b95d8 /src/libstd/thread | |
| parent | aa04ffb61a3e563eb4555057f897191f3ab49386 (diff) | |
| parent | 6bda2e8a7dbd5e0c0263b26ab89f9fe62920824c (diff) | |
| download | rust-95c5fb850e6b8bf2a5e4a69775b9254812afcfbc.tar.gz rust-95c5fb850e6b8bf2a5e4a69775b9254812afcfbc.zip | |
Rollup merge of #74241 - RalfJung:miri, r=RalfJung
update miri This incorporates https://github.com/rust-lang/miri/pull/1474. [Last time](https://github.com/rust-lang/rust/pull/74146) that change caused trouble but I fixed xargo since then and [now it should work](https://github.com/rust-lang/rust/pull/74146#issuecomment-657051446). Cc @rust-lang/miri r? @ghost
Diffstat (limited to 'src/libstd/thread')
0 files changed, 0 insertions, 0 deletions