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 upUpdate Rust to 1.13.0-nightly (198713106 2016-08-26) #13055
Conversation
highfive
commented
Aug 26, 2016
|
Heads up! This PR modifies the following files: |
highfive
commented
Aug 26, 2016
|
@bors-servo try |
|
|
(Do not merge) Update Rust to 1.13.0-nightly (e07dd59ea 2016-08-25)
|
|
|
@bors-servo try |
(Do not merge) Update Rust to 1.13.0-nightly (e07dd59ea 2016-08-25) <!-- 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/13055) <!-- Reviewable:end -->
|
|
|
r=me And hooray for memshrinkage! |
|
@bors-servo clean try |
|
@bors-servo clean try- |
|
@bors-servo try clean |
|
@bors-servo retry |
(Do not merge) Update Rust to 1.13.0-nightly (e07dd59ea 2016-08-25) <!-- 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/13055) <!-- Reviewable:end -->
|
|
This is #13059. |
|
@bors-servo try |
(Do not merge) Update Rust to 1.13.0-nightly (198713106 2016-08-26) <!-- 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/13055) <!-- Reviewable:end -->
|
|
|
@bors-servo r=metajack |
|
|
(Do not merge) Update Rust to 1.13.0-nightly (198713106 2016-08-26) <!-- 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/13055) <!-- Reviewable:end -->
|
|
|
Forgot to remove "(Do not merge)" damn. Anyway, for the record: this was ready to be merged. |
nox commentedAug 26, 2016
•
edited by larsbergstrom
This change is