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 upUpgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) #25739
Conversation
|
r=me Some warning though:
|
|
I fixed it. @bors-servo r=paulrouget |
|
|
Upgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) ~This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.~
|
Fix #25550 |
|
That only works in the PR description (or commit messages), I’ve added it. |
|
|
|
@bors-servo retry #24726 |
Upgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) ~This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.~ Fixes #25550
|
Fixed some Windows-only warnings:
@bors-servo r=paulrouget |
|
|
|
|
|
@bors-servo retry #24726 |
Upgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) ~This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.~ Fixes #25550
|
|
|
Sighs @bors-servo retry #24726 |
Upgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) ~This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.~ Fixes #25550
|
|
|
@bors-servo retry |
Upgrade to rustc 1.43.0-nightly (5d04ce67f 2020-02-13) ~This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.~ Fixes #25550
|
|
SimonSapin commentedFeb 12, 2020
•
edited
This Nightly doesn’t have rustfmt, so merging this PR is blocked on rust-lang/rust#68917 and upgrading to a Nightly with the fix.Fixes #25550