Skip to content

fix typo in enum variant name - #60569

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-visitor-generators
May 6, 2019
Merged

fix typo in enum variant name#60569
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-visitor-generators

Conversation

@RalfJung

Copy link
Copy Markdown
Member

No description provided.

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @cramertj

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 5, 2019
@RalfJungRalfJung mentioned this pull request May 5, 2019
@Centril

Copy link
Copy Markdown
Contributor

r? @Centril

@bors r+ rollup

@bors

bors commented May 5, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit dc54cd0 has been approved by Centril

@rust-highfiverust-highfive assigned Centril and unassigned cramertjMay 5, 2019
@borsbors 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 May 5, 2019
@bors

bors commented May 6, 2019

Copy link
Copy Markdown
Collaborator

⌛ Testing commit dc54cd0 with merge eda0699...

bors added a commit that referenced this pull request May 6, 2019
@bors

bors commented May 6, 2019

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-travis, status-appveyor
Approved by: Centril
Pushing eda0699 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label May 6, 2019
@bors
bors merged commit dc54cd0 into rust-lang:masterMay 6, 2019
@RalfJung
RalfJung deleted the miri-visitor-generators branch June 10, 2019 11:04
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@RalfJung@rust-highfive@Centril@bors@cramertj