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 upstyle: Update rayon. #18728
style: Update rayon. #18728
Conversation
It has a couple soundness fixes.
highfive
commented
Oct 3, 2017
|
Heads up! This PR modifies the following files:
|
highfive
commented
Oct 3, 2017
|
r? @jdm (or anyone else) |
|
@bors-servo: r+ |
|
|
|
|
|
|
style: Update rayon. It has a couple soundness fixes. <!-- 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/18728) <!-- Reviewable:end -->
|
|
|
@bors-servo retry
|
|
|
|
|
|
@bors-servo retry
|
style: Update rayon. It has a couple soundness fixes. <!-- 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/18728) <!-- Reviewable:end -->
|
|
|
@bors-servo retry infra |
style: Update rayon. It has a couple soundness fixes. <!-- 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/18728) <!-- Reviewable:end -->
|
|
|
@bors-servo retry |
style: Update rayon. It has a couple soundness fixes. <!-- 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/18728) <!-- Reviewable:end -->
|
|
emilio commentedOct 3, 2017
•
edited by SimonSapin
It has a couple soundness fixes.
This change is