Skip to content

Missing links - #43978

Merged
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:missing-links
Aug 20, 2017
Merged

Missing links#43978
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:missing-links

Conversation

@GuillaumeGomez

Copy link
Copy Markdown
Member

r? @rust-lang/docs

@frewsxcv

Copy link
Copy Markdown
Contributor

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

@GuillaumeGomez

Copy link
Copy Markdown
Member Author

@bors: r=frewsxcv rollup

@bors

bors commented Aug 18, 2017

Copy link
Copy Markdown
Collaborator

📌 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

bors commented Aug 19, 2017

Copy link
Copy Markdown
Collaborator

⌛ Testing commit b88773f with merge 41223cbe7fc0c17ef0b5e06893030ad105a30b7d...

@bors

bors commented Aug 19, 2017

Copy link
Copy Markdown
Collaborator

💔 Test failed - status-appveyor

@kennytm

kennytm commented Aug 19, 2017

Copy link
Copy Markdown
Member

@bors retry #43985

@bors

bors commented Aug 20, 2017

Copy link
Copy Markdown
Collaborator

⌛ Testing commit b88773f with merge 3d9f57a...

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

bors commented Aug 20, 2017

Copy link
Copy Markdown
Collaborator

☀️ 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants