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 upSome enhancements in the net crate #16160
Conversation
highfive
commented
Mar 27, 2017
|
Heads up! This PR modifies the following files:
|
highfive
commented
Mar 27, 2017
|
r? @jdm |
|
@bors-servo: r+ |
|
|
|
@bors-servo retry force |
|
@bors-servo retry clean force |
|
@bors-servo are you still there? |
|
@bors-servo retry clean r- r=jdm |
|
|
|
|
|
@bors-servo retry clean |
1 similar comment
|
@bors-servo retry clean |
|
@bors-servo r- r=jdm retry |
|
|
|
|
|
@bors-servo p=2 |
|
@bors-servo retry #16172 |
Some enhancements in the net crate See the individual commits. <!-- 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/16160) <!-- Reviewable:end -->
|
|
|
@bors-servo retry #14323 |
|
|
|
|
|
|
|
|
|
@bors-servo retry #14237 |
Some enhancements in the net crate See the individual commits. <!-- 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/16160) <!-- Reviewable:end -->
|
|

nox commentedMar 27, 2017
•
edited by larsbergstrom
See the individual commits.
This change is