Skip to content

Missing links #43978

New issue

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

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

Already on GitHub? # to your account

Merged
merged 3 commits into from
Aug 20, 2017
Merged

Missing links #43978

merged 3 commits into from
Aug 20, 2017

Conversation

GuillaumeGomez
Copy link
Member

r? @rust-lang/docs

@frewsxcv
Copy link
Member

r=me if you get a ✅ from The Great Travis In The Sky

@GuillaumeGomez
Copy link
Member Author

@bors: r=frewsxcv rollup

@bors
Copy link
Collaborator

bors commented Aug 18, 2017

📌 Commit b88773f has been approved by frewsxcv

aidanhs added a commit to aidanhs/rust that referenced this pull request Aug 18, 2017
bors added a commit that referenced this pull request Aug 18, 2017
Rollup of 4 pull requests

- Successful merges: #43919, #43936, #43950, #43978
- Failed merges:
@bors
Copy link
Collaborator

bors commented Aug 19, 2017

⌛ Testing commit b88773f with merge 41223cbe7fc0c17ef0b5e06893030ad105a30b7d...

@bors
Copy link
Collaborator

bors commented Aug 19, 2017

💔 Test failed - status-appveyor

@kennytm
Copy link
Member

kennytm commented Aug 19, 2017

@bors retry #43985

@bors
Copy link
Collaborator

bors commented Aug 20, 2017

⌛ Testing commit b88773f with merge 3d9f57a...

bors added a commit that referenced this pull request Aug 20, 2017
@bors
Copy link
Collaborator

bors commented Aug 20, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: frewsxcv
Pushing 3d9f57a to master...

@bors bors merged commit b88773f into rust-lang:master Aug 20, 2017
@GuillaumeGomez GuillaumeGomez deleted the missing-links branch August 21, 2017 08:16
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants