Skip to content

Conversation

@catamorphism
Copy link
Contributor

r? @alexcrichton And also reference the bug report HOWTO in CONTRIBUTING.md

And also reference the bug report HOWTO in CONTRIBUTING.md
@catamorphism
Copy link
Contributor Author

This looks worrisome. Filed an issue: #10012

@alexcrichton
Copy link
Member

bors hates this pull :(

bors added a commit that referenced this pull request Oct 22, 2013
r? @alexcrichton And also reference the bug report HOWTO in CONTRIBUTING.md
@bors bors closed this Oct 22, 2013
@bors bors merged commit 5afd760 into rust-lang:master Oct 22, 2013
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.

3 participants