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

Tarpl fixes #27414

Merged
merged 4 commits into from
Jul 31, 2015
Merged

Tarpl fixes #27414

merged 4 commits into from
Jul 31, 2015

Conversation

Gankra
Copy link
Contributor

@Gankra Gankra commented Jul 31, 2015

This is mostly reducing my use of italics but there's some other misc changes interspersed as I went along.

This updates the italicizing alphabetically from a to ra.

r? @steveklabnik

@alexcrichton
Copy link
Member

@bors: r+ 7b33a1e

@Gankra
Copy link
Contributor Author

Gankra commented Jul 31, 2015

@alexcrichton I ended up finishing this off so I just pushed it to this PR since it was still in the queue. re-r?

@Gankra Gankra mentioned this pull request Jul 31, 2015
@alexcrichton
Copy link
Member

@bors: r+ 9920f1400bb95f692a532bc729e053c1154fd253

@bors
Copy link
Collaborator

bors commented Jul 31, 2015

⌛ Testing commit 9920f14 with merge 877a069...

@bors
Copy link
Collaborator

bors commented Jul 31, 2015

💔 Test failed - auto-mac-64-opt

@Gankra
Copy link
Contributor Author

Gankra commented Jul 31, 2015

@bors r=alexcrichton

Doc examples are fragile.

@bors
Copy link
Collaborator

bors commented Jul 31, 2015

📌 Commit 554efc0 has been approved by alexcrichton

@bors
Copy link
Collaborator

bors commented Jul 31, 2015

⌛ Testing commit 554efc0 with merge 0919f4a...

bors added a commit that referenced this pull request Jul 31, 2015
This is *mostly* reducing *my* use of *italics* but there's some other misc changes interspersed as I went along.

This updates the italicizing alphabetically from `a` to `ra`.

r? @steveklabnik
@bors bors merged commit 554efc0 into rust-lang:master Jul 31, 2015
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