No more tasks
#25216
No more tasks
#25216
Conversation
|
r? @brson (rust_highfive has picked a reviewer for you, use r? to override) |
|
☔ The latest upstream changes (presumably #25136) made this pull request unmergeable. Please resolve the merge conflicts. |
An automated script was run against the `.rs` and `.md` files, subsituting every occurrence of `task` with `thread`. In the `.rs` files, only the texts in the comment blocks were affected.
|
@bors: r+ rollup |
|
📌 Commit 9b91ccf has been approved by |
|
⌛ Testing commit 9b91ccf with merge 0ae651f... |
I've found that there are still huge amounts of occurrences of `task`s in the documentation. This PR tries to eliminate all of them in favor of `thread`.
|
⛄ The build was interrupted to prioritize another pull request. |
|
@barosl do you have interest in getting this into 1.0? It's fairly complex, but if you're willing to do the backport, I'm willing to add it in. |
|
@steveklabnik Sure, what should I do for it? Should I create a PR against the I still have the conversion script, so the substitution itself won't be that hard. |
|
Yeah make a PR against the beta branch and r? me :) Sent from my iPhone
|
I've found that there are still huge amounts of occurrences of
tasks in the documentation. This PR tries to eliminate all of them in favor ofthread.