Skip to content

Remove extra newlines in MIR dump #34807

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

Merged
merged 1 commit into from
Jul 19, 2016
Merged

Remove extra newlines in MIR dump #34807

merged 1 commit into from
Jul 19, 2016

Conversation

sanxiyn
Copy link
Member

@sanxiyn sanxiyn commented Jul 13, 2016

No description provided.

@nagisa
Copy link
Member

nagisa commented Jul 14, 2016

r=me

@eddyb
Copy link
Member

eddyb commented Jul 16, 2016

@bors r=nagisa rollup

@bors
Copy link
Collaborator

bors commented Jul 16, 2016

📌 Commit b91acc9 has been approved by nagisa

Manishearth added a commit to Manishearth/rust that referenced this pull request Jul 17, 2016
@bors
Copy link
Collaborator

bors commented Jul 18, 2016

⌛ Testing commit b91acc9 with merge b5568a0...

@bors
Copy link
Collaborator

bors commented Jul 18, 2016

⛄ The build was interrupted to prioritize another pull request.

sanxiyn added a commit to sanxiyn/rust that referenced this pull request Jul 18, 2016
bors added a commit that referenced this pull request Jul 19, 2016
Rollup of 5 pull requests

- Successful merges: #34807, #34853, #34875, #34884, #34889
- Failed merges:
@bors bors merged commit b91acc9 into rust-lang:master Jul 19, 2016
@sanxiyn sanxiyn deleted the dump-mir branch July 20, 2016 04:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants