Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add urls #36363

Merged
merged 4 commits into from Sep 14, 2016
Merged

Add urls #36363

merged 4 commits into from Sep 14, 2016

Conversation

GuillaumeGomez
Copy link
Member

@steveklabnik
Copy link
Member

@bors: r+ rollup

thanks!

@bors
Copy link
Contributor

bors commented Sep 13, 2016

📌 Commit e3153cf has been approved by steveklabnik

@bors
Copy link
Contributor

bors commented Sep 14, 2016

⌛ Testing commit e3153cf with merge e70975c...

@bors
Copy link
Contributor

bors commented Sep 14, 2016

💔 Test failed - auto-win-gnu-32-opt-rustbuild

@alexcrichton
Copy link
Member

@bors: retry

On Tue, Sep 13, 2016 at 8:35 PM, bors notifications@github.com wrote:

💔 Test failed - auto-win-gnu-32-opt-rustbuild
https://buildbot.rust-lang.org/builders/auto-win-gnu-32-opt-rustbuild/builds/2502

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#36363 (comment), or mute
the thread
https://github.com/notifications/unsubscribe-auth/AAD95BGSegc7h-UYu4tzjglcO9tYQV0-ks5qp2tngaJpZM4J5F0m
.

This was referenced Sep 14, 2016
Merged
Merged
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Sep 14, 2016
@GuillaumeGomez
Rollup merge of rust-lang#36363 - GuillaumeGomez:add_urls, r=stevekla…
99c2f72 
…bnik

Add urls

r? @steveklabnik
bors added a commit that referenced this pull request Sep 14, 2016
@bors
Auto merge of #36472 - GuillaumeGomez:rollup, r=GuillaumeGomez
5a5736d 
Rollup of 5 pull requests

- Successful merges: #36334, #36335, #36363, #36374, #36467
- Failed merges:
@bors bors merged commit e3153cf into rust-lang:master Sep 14, 2016
@GuillaumeGomez GuillaumeGomez deleted the add_urls branch September 14, 2016 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@steveklabnik steveklabnik

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@GuillaumeGomez @steveklabnik @bors @alexcrichton