-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
[miri][typo] Fix a typo in a vector_block comment. #114570
Conversation
(rustbot has picked a reviewer for you, use r? to override) |
The Miri subtree was changed cc @rust-lang/miri |
Could you file this PR against https://github.com/rust-lang/miri instead of this repo? |
Yeah please do that in the future. But for this trivial change, we can just go ahead and land it here. Thanks for spotting this! @bors r+ rollup |
…iaskrgr Rollup of 9 pull requests Successful merges: - rust-lang#113568 (Fix spurious test failure with `panic=abort`) - rust-lang#114196 (Bubble up nested goals from equation in `predicates_for_object_candidate`) - rust-lang#114485 (Add trait decls to SMIR) - rust-lang#114495 (Set max_atomic_width for AVR to 16) - rust-lang#114496 (Set max_atomic_width for sparc-unknown-linux-gnu to 32) - rust-lang#114510 (llvm-wrapper: adapt for LLVM API changes) - rust-lang#114562 (stabilize abi_thiscall) - rust-lang#114570 ([miri][typo] Fix a typo in a vector_block comment.) - rust-lang#114573 (CI: do not hide error logs in a group) r? `@ghost` `@rustbot` modify labels: rollup
thank you, @fee1-dead and @RalfJung ! I'm sorry for sending PR for the wrong repo - I'll make sure to not do this in future. |
No description provided.