Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
auto merge of #6052 : nikomatsakis/rust/remove-2811, r=catamorphism
r? whomever.
- Loading branch information