Skip to content

Conversation

@ollie27
Copy link
Contributor

@ollie27 ollie27 commented Jun 22, 2016

@GuillaumeGomez
Copy link
Member

👍 for me but I'd prefer someone else to check as well. Thanks!

@steveklabnik
Copy link
Contributor

Ah nice! I didn't know this had changed.

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Jun 27, 2016

📌 Commit f153125 has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jun 27, 2016
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Jun 28, 2016
bors added a commit that referenced this pull request Jun 28, 2016
@bors bors merged commit f153125 into rust-lang:master Jun 28, 2016
@ollie27 ollie27 deleted the docs_float branch June 30, 2016 11:44
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