Skip to content

Conversation

steveklabnik
Copy link
Contributor

This brings back playpen integration for the books.

It'd be nice to land this before beta, but realistically that's probably not going to happen...

@rust-highfive
Copy link
Contributor

r? @aturon

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Collaborator

bors commented Mar 10, 2017

📌 Commit fdf48cd has been approved by alexcrichton

@bors
Copy link
Collaborator

bors commented Mar 11, 2017

☔ The latest upstream changes (presumably #40432) made this pull request unmergeable. Please resolve the merge conflicts.

This brings back playpen integration for the books.
@steveklabnik
Copy link
Contributor Author

@bors: r=alexcrichton

@bors
Copy link
Collaborator

bors commented Mar 11, 2017

📌 Commit 80d3f3a has been approved by alexcrichton

frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 12, 2017
…richton

Update mdbook to new version

This brings back playpen integration for the books.

It'd be nice to land this before beta, but realistically that's probably not going to happen...
bors added a commit that referenced this pull request Mar 12, 2017
Rollup of 5 pull requests

- Successful merges: #40369, #40390, #40426, #40449, #40453
- Failed merges:
@bors bors merged commit 80d3f3a into rust-lang:master Mar 12, 2017
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.

5 participants