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 upMerge request type and destination #18981
Conversation
highfive
commented
Oct 21, 2017
|
Heads up! This PR modifies the following files:
|
|
@bors-servo try |
Merge request type and destination Fixes #18278. <!-- 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/18981) <!-- Reviewable:end -->
|
|
6aeb237
to
b7f918a
|
@bors-servo try |
|
|
b7f918a
to
1750620
|
@bors-servo try |
Merge request type and destination Fixes #18278. <!-- 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/18981) <!-- Reviewable:end -->
|
|
1750620
to
3b8191b
|
@bors-servo try |
Merge request type and destination Fixes #18278. <!-- 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/18981) <!-- Reviewable:end -->
|
|
3b8191b
to
c6bb1cb
|
r? @jdm, should be a quick one here. |
|
I want @avadacatavra to review more things, so I'm going to redirect this. |
|
@bors-servo r+ |
|
|
Merge request type and destination Fixes #18278. <!-- 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/18981) <!-- Reviewable:end -->
|
|
KiChjang commentedOct 21, 2017
•
edited by SimonSapin
Fixes #18278.
This change is