Skip to content
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

Jump to bottom

Use the correct types in float examples #34415

Merged
merged 1 commit into from
Jun 28, 2016
Merged

Use the correct types in float examples #34415

merged 1 commit into from
Jun 28, 2016
+20 −24

Conversation

ollie27
Copy link
Member

@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
Member

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

@bors: r+ rollup

@bors
Copy link
Contributor

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
@steveklabnik
Rollup merge of rust-lang#34415 - ollie27:docs_float, r=steveklabnik
77c9a2b 
Use the correct types in float examples

r? @steveklabnik
@steveklabnik steveklabnik mentioned this pull request Jun 27, 2016
Closed
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Jun 28, 2016
@GuillaumeGomez
Rollup merge of rust-lang#34415 - ollie27:docs_float, r=steveklabnik
adc70bd 
Use the correct types in float examples

r? @steveklabnik
@GuillaumeGomez GuillaumeGomez mentioned this pull request Jun 28, 2016
Merged
bors added a commit that referenced this pull request Jun 28, 2016
@bors
Auto merge of #34525 - GuillaumeGomez:rollup, r=GuillaumeGomez
59152a4 
Rollup of 13 pull requests

- Successful merges: #34080, #34287, #34328, #34406, #34415, #34442, #34462, #34471, #34475, #34479, #34517, #34518, #34524
- Failed merges: #33951
@bors bors merged commit f153125 into rust-lang:master Jun 28, 2016
@ollie27 ollie27 deleted the docs_float branch June 30, 2016 11:44
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@steveklabnik steveklabnik

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ollie27 @GuillaumeGomez @steveklabnik @bors