Skip to content

Various changes to Rust Introduction #21075

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 16, 2015
Merged

Various changes to Rust Introduction #21075

merged 1 commit into from
Jan 16, 2015

Conversation

iKevinY
Copy link
Contributor

@iKevinY iKevinY commented Jan 13, 2015

- Make punctuation/formatting consistent with the changes made to "The
  Rust Programming Language" in #20782.
- Use title casing for "Safety and Speed" section.
- Reword some phrases to improve clarity.
@rust-highfive
Copy link
Contributor

r? @alexcrichton

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

@huonw
Copy link
Member

huonw commented Jan 13, 2015

r? @steveklabnik

@huonw huonw assigned steveklabnik and unassigned alexcrichton Jan 13, 2015
bors added a commit that referenced this pull request Jan 14, 2015
Various changes to Rust Introduction

Reviewed-by: steveklabnik
bors added a commit that referenced this pull request Jan 14, 2015
Various changes to Rust Introduction

Reviewed-by: steveklabnik
bors added a commit that referenced this pull request Jan 15, 2015
Various changes to Rust Introduction

Reviewed-by: steveklabnik
bors added a commit that referenced this pull request Jan 15, 2015
Various changes to Rust Introduction

Reviewed-by: steveklabnik
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Jan 15, 2015
- Make punctuation/formatting consistent with the changes made to *The Rust Programming Language* in rust-lang#20782.
- Use title casing for "Safety and Speed" section.
- Reword some phrases to improve clarity.
@bors bors merged commit 31ac1fb into rust-lang:master Jan 16, 2015
@iKevinY iKevinY deleted the intro-changes branch January 16, 2015 06:04
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.

6 participants