-
Notifications
You must be signed in to change notification settings - Fork 13.3k
chore: remove repetitive words #129885
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: remove repetitive words #129885
Conversation
Some changes occurred to the CTFE / Miri engine cc @rust-lang/miri This PR modifies cc @jieyouxu |
Signed-off-by: cuishuang <[email protected]>
I often think PRs like this are more trouble than they're worth, in terms of occupying contributor time when the mistake didn't actually confuse people. But now that it's here and it's down to just |
In the recent past, some libs reviewers have explicitly volunteered to review such PRs. |
Yes, hello! It is reasonably important to me that user-facing documentation is free of frivolous typos, even if I basically don't really care about how internal comments look. |
Also note this basically implies that changes outside of |
…iaskrgr Rollup of 8 pull requests Successful merges: - rust-lang#129152 (custom/external clippy support for bootstrapping) - rust-lang#129311 (don't copy `.rustc-dev-contents` from CI rustc) - rust-lang#129800 (Move the Windows remove_dir_all impl into a module and make it more race resistant) - rust-lang#129860 (update `object` dependency to remove duplicate `wasmparser`) - rust-lang#129885 (chore: remove repetitive words) - rust-lang#129913 (Add missing read_buf stub for x86_64-unknown-l4re-uclibc) - rust-lang#129916 (process.rs: remove "Basic usage" text where not useful) - rust-lang#129917 (Fix parsing of beta version in dry-run mode) r? `@ghost` `@rustbot` modify labels: rollup
Okay, thanks |
Rollup merge of rust-lang#129885 - cuishuang:master, r=scottmcm chore: remove repetitive words
No description provided.