Skip to content

Improve float number example - #34837

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:better_example
Jul 17, 2016
Merged

Improve float number example#34837
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:better_example

Conversation

@GuillaumeGomez

@GuillaumeGomezGuillaumeGomez commented Jul 15, 2016

Copy link
Copy Markdown
Member

@nagisa

nagisa commented Jul 15, 2016

Copy link
Copy Markdown
Member

r=me (instruct bors at your convenience)

@GuillaumeGomez

GuillaumeGomez commented Jul 15, 2016•
edited
Loading

Copy link
Copy Markdown
MemberAuthor

Thanks!

@bors: r=@nagisa

@bors

bors commented Jul 15, 2016

Copy link
Copy Markdown
Collaborator

📌 Commit b10ac8a has been approved by nagisa

@bors

bors commented Jul 15, 2016

Copy link
Copy Markdown
Collaborator

💡 This pull request was already approved, no need to approve it again.

@bors

bors commented Jul 15, 2016

Copy link
Copy Markdown
Collaborator

📌 Commit b10ac8a has been approved by nagisa

@GuillaumeGomez

GuillaumeGomez commented Jul 16, 2016

Copy link
Copy Markdown
MemberAuthor

@bors: rollup

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Jul 16, 2016
@GuillaumeGomez
Rollup merge ofrust-lang#34837- GuillaumeGomez:better_example, r=na…
6a7596a
…gisa
Improve float number example
r? @nagisa
@GuillaumeGomezGuillaumeGomez mentioned this pull request Jul 16, 2016
Merged
bors added a commit that referenced this pull request Jul 17, 2016
@bors
Auto merge of#34852- GuillaumeGomez:rollup, r=GuillaumeGomez
103e5c9
Rollup of 7 pull requests
- Successful merges: #33362, #34768, #34837, #34838, #34847, #34848, #34849
- Failed merges: #33951, #34850
@bors
bors merged commit b10ac8a into rust-lang:masterJul 17, 2016
@GuillaumeGomez
GuillaumeGomez deleted the better_example branch July 17, 2016 09:46
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@GuillaumeGomez@nagisa@bors