diff options
| author | bors <bors@rust-lang.org> | 2020-05-08 07:29:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-05-08 07:29:42 +0000 |
| commit | a51e004e1bf7f9bba151dd9104a217c1ace6a0a2 (patch) | |
| tree | 71b551ad30b06185df8b7c482042364a7b215eb7 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 29630cea47506125fb0b94318104b1b93a59b052 (diff) | |
| parent | e583a5c7dc08257c6dadc3dd06d7721ffc1b5e48 (diff) | |
| download | rust-a51e004e1bf7f9bba151dd9104a217c1ace6a0a2.tar.gz rust-a51e004e1bf7f9bba151dd9104a217c1ace6a0a2.zip | |
Auto merge of #71917 - RalfJung:miri, r=RalfJung
update miri In particular this includes the change to yield on `spin_loop_hint`, which is needed for https://github.com/rust-lang/rust/pull/71737. r? @ghost Cc @rust-lang/miri Fixes https://github.com/rust-lang/rust/issues/71963
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions