Uh oh!
There was an error while loading. Please reload this page.
Fix link in relnotes - #32912
Conversation
rust-highfive
commented
Apr 12, 2016
(rust_highfive has picked a reviewer for you, use r? to override) |
alexcrichton
commented
Apr 12, 2016
bors
commented
Apr 14, 2016
⌛ Testing commit a1b1762 with merge 059301d... |
bors
commented
Apr 14, 2016
💔 Test failed - auto-win-gnu-32-opt |
alexcrichton
commented
Apr 14, 2016
@bors: retry On Thu, Apr 14, 2016 at 12:58 PM, bors notifications@github.com wrote:
|
bors
commented
Apr 15, 2016
☔ The latest upstream changes (presumably #32960) made this pull request unmergeable. Please resolve the merge conflicts. |
bors
commented
Apr 16, 2016
🔒 Merge conflict |
steveklabnik
commented
Apr 28, 2016
@brson ping! is this PR still relevant? |
nikomatsakis
commented
May 4, 2016
Going to assume this PR is no longer relevant and close it, since @brson hasn't answered. |
No description provided.