Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Miri: fix typo #71238

Merged
merged 1 commit into from
Apr 18, 2020
Merged

Miri: fix typo #71238

merged 1 commit into from
Apr 18, 2020

Conversation

RalfJung
Copy link
Member

r? @oli-obk at least I think this should be "without", right?

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 17, 2020
@oli-obk
Copy link
Contributor

oli-obk commented Apr 17, 2020

Oh good catch.

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Apr 17, 2020

📌 Commit e33b517 has been approved by oli-obk

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 17, 2020
@Dylan-DPC-zz Dylan-DPC-zz mentioned this pull request Apr 17, 2020
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 17, 2020
@bors
Auto merge of rust-lang#71264 - Dylan-DPC:rollup-njgbey7, r=Dylan-DPC
cff9a75 
Rollup of 6 pull requests

Successful merges:

 - rust-lang#70467 (Use `call` instead of `invoke` for functions that cannot unwind )
 - rust-lang#71070 (rustbuild: Remove stage 0 LLD flavor workaround for MSVC)
 - rust-lang#71167 (big-O notation: parenthesis for function calls, explicit multiplication)
 - rust-lang#71238 (Miri: fix typo)
 - rust-lang#71242 (Format Mailmap To Work With GitHub)
 - rust-lang#71243 (Account for use of `try!()` in 2018 edition and guide users in the right direction)

Failed merges:

r? @ghost
@bors bors merged commit 0050a64 into rust-lang:master Apr 18, 2020
@RalfJung RalfJung deleted the miri-typo branch April 18, 2020 09:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@oli-obk oli-obk

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@RalfJung @oli-obk @bors @rust-highfive