diff options
| author | bors <bors@rust-lang.org> | 2024-04-05 09:09:35 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-05 09:09:35 +0000 |
| commit | d009f60b55fe4527e7ddf122bc4520f351d7b9d4 (patch) | |
| tree | a02b8ae891c28c176f82b207729930a8a81dd989 /library/std/src/thread/mod.rs | |
| parent | c0ddaef075748674140263840a185082f44458e9 (diff) | |
| parent | af81ab762888eb04d01e9ad5269df5202d6a38b8 (diff) | |
| download | rust-d009f60b55fe4527e7ddf122bc4520f351d7b9d4.tar.gz rust-d009f60b55fe4527e7ddf122bc4520f351d7b9d4.zip | |
Auto merge of #123469 - belovdv:remove-miri-jobserver-fixme, r=petrochenkov
remove miri jobserver workaround This PR removes workaround, added in #113730, since jobserver is kept after [rust-lang/cargo#12776](https://github.com/rust-lang/cargo/pull/12776)
Diffstat (limited to 'library/std/src/thread/mod.rs')
0 files changed, 0 insertions, 0 deletions