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.

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

test: Add tests for closed issues #13811

Closed
wants to merge 1 commit into from

Conversation

alexcrichton
Copy link
Member

Closes #5518
Closes #7320
Closes #8391
Closes #8827
Closes #8983
Closes #10683
Closes #10802
Closes #11515

bors added a commit that referenced this pull request Apr 28, 2014
@bors bors closed this Apr 28, 2014
@alexcrichton alexcrichton deleted the closed-issues branch May 1, 2014 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment