Skip to content

Conversation

@meqif
Copy link
Contributor

@meqif meqif commented May 13, 2015

Reading through the rendered error explanations in http://doc.rust-lang.org/error-index.html, I noticed a few opportunities to improve the output.

@rust-highfive
Copy link
Contributor

r? @huonw

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

@huonw
Copy link
Contributor

huonw commented May 13, 2015

@bors r+ rollup

Great!

@bors
Copy link
Collaborator

bors commented May 13, 2015

📌 Commit 06b084f has been approved by huonw

Manishearth added a commit to Manishearth/rust that referenced this pull request May 13, 2015
Reading through the rendered error explanations in http://doc.rust-lang.org/error-index.html, I noticed a few opportunities to improve the output.
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 13, 2015
Reading through the rendered error explanations in http://doc.rust-lang.org/error-index.html, I noticed a few opportunities to improve the output.
bors added a commit that referenced this pull request May 13, 2015
@bors bors merged commit 06b084f into rust-lang:master May 13, 2015
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.

4 participants