Skip to content

File docs - #43791

Merged
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:file-docs
Aug 11, 2017
Merged

File docs#43791
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:file-docs

Conversation

@GuillaumeGomez

Copy link
Copy Markdown
Member

r? @rust-lang/docs

@QuietMisdreavus

Copy link
Copy Markdown
Contributor

r=me pending travis

@GuillaumeGomez

Copy link
Copy Markdown
Member Author

@bors: r=QuietMisdreavus rollup

@bors

bors commented Aug 10, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit 972d67c has been approved by QuietMisdreavus

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Aug 11, 2017
bors added a commit that referenced this pull request Aug 11, 2017
MaloJaffre added a commit to MaloJaffre/rust that referenced this pull request Aug 11, 2017
@bors
bors merged commit 972d67c into rust-lang:master Aug 11, 2017
@GuillaumeGomez
GuillaumeGomez deleted the file-docs branch August 11, 2017 12:28
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.

3 participants