Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upRemove unused imports. #12903
Remove unused imports. #12903
Conversation
highfive
commented
Aug 17, 2016
|
Heads up! This PR modifies the following files:
|
highfive
commented
Aug 17, 2016
|
@bors-servo r+ |
|
|
Remove unused imports. <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12903) <!-- Reviewable:end -->
|
|
highfive
commented
Aug 17, 2016
|
|
@bors-servo retry #8676 |
|
|
|
|
highfive
commented
Aug 17, 2016
|
|
@bors-servo retry |
Remove unused imports. <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12903) <!-- Reviewable:end -->
|
|
|
|
|
|
highfive
commented
Aug 18, 2016
|
|
@bors-servo retry #12891 |
Remove unused imports. <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12903) <!-- Reviewable:end -->
|
|
highfive
commented
Aug 19, 2016
|
|
@bors-servo retry #11574 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Remove unused imports. <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12903) <!-- Reviewable:end -->
|
|
Ms2ger commentedAug 17, 2016
•
edited by larsbergstrom
This change is