Skip to content

Dir entry doc #35009

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 2 commits into from
Jul 27, 2016
Merged

Dir entry doc #35009

merged 2 commits into from
Jul 27, 2016

Conversation

GuillaumeGomez
Copy link
Member

Part of #29356.

r? @steveklabnik

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 25, 2016

📌 Commit 1669963 has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 25, 2016
bors added a commit that referenced this pull request Jul 25, 2016
Rollup of 13 pull requests

- Successful merges: #34461, #34609, #34732, #34850, #34894, #34935, #34974, #34990, #34995, #35001, #35009, #35010, #35028
- Failed merges:
@bors
Copy link
Collaborator

bors commented Jul 26, 2016

⌛ Testing commit 1669963 with merge a26d31d...

@bors
Copy link
Collaborator

bors commented Jul 26, 2016

💔 Test failed - auto-win-msvc-64-opt

@alexcrichton
Copy link
Member

@bors: retry

On Tue, Jul 26, 2016 at 4:31 AM, bors notifications@github.com wrote:

💔 Test failed - auto-win-msvc-64-opt
https://buildbot.rust-lang.org/builders/auto-win-msvc-64-opt/builds/5094


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#35009 (comment), or mute
the thread
https://github.com/notifications/unsubscribe-auth/AAD95B-VKtTmnt2SlKD75ILS70Qf-ZpBks5qZfABgaJpZM4JTl3x
.

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 26, 2016
bors added a commit that referenced this pull request Jul 27, 2016
@bors bors merged commit 1669963 into rust-lang:master Jul 27, 2016
@GuillaumeGomez GuillaumeGomez deleted the dir_entry_doc branch July 27, 2016 09:47
# 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