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.

Sign up for GitHub

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

Jump to bottom

Simplify text #33534

Merged
merged 1 commit into from
May 15, 2016
Merged

Simplify text #33534

merged 1 commit into from
May 15, 2016

Conversation

dns2utf8
Copy link
Contributor

@dns2utf8 dns2utf8 commented May 10, 2016 •
edited
Loading

This way it should be clear: Any number of other threads have this guaranty not just one other thread.

@rust-highfive
Copy link
Collaborator

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @brson (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

@GuillaumeGomez
Copy link
Member

Thanks!

r=me

@dns2utf8
Copy link
Contributor Author

You are very welcome. Do I need to do anything from here on?

@GuillaumeGomez
Copy link
Member

Normally you shouldn't. You just need to wait for someone to merge it.

cc @steveklabnik

@dns2utf8
Copy link
Contributor Author

Cool, thank you.

@steveklabnik
Copy link
Member

@bors: r=GuillaumeGomez rollup

Thanks @dns2utf8

@bors
Copy link
Contributor

bors commented May 12, 2016

📌 Commit 66404f3 has been approved by GuillaumeGomez

@eddyb eddyb mentioned this pull request May 12, 2016
Closed
eddyb added a commit to eddyb/rust that referenced this pull request May 12, 2016
@eddyb
Rollup merge of rust-lang#33534 - dns2utf8:atomic_docs, r=GuillaumeGomez
d7f84b3 
Simplify text

This way it should be clear: Any number of other threads have this guaranty not just one other thread.
@eddyb eddyb mentioned this pull request May 12, 2016
Closed
bors added a commit that referenced this pull request May 12, 2016
@bors
Auto merge of #33597 - eddyb:rollup, r=eddyb
2c5ce8c 
Rollup of 23 pull requests

- Successful merges: #33282, #33342, #33393, #33450, #33513, #33517, #33531, #33532, #33533, #33534, #33538, #33541, #33544, #33552, #33555, #33560, #33563, #33565, #33566, #33572, #33580, #33590, #33596
- Failed merges: #33578
@eddyb eddyb mentioned this pull request May 13, 2016
Closed
eddyb added a commit to eddyb/rust that referenced this pull request May 13, 2016
@eddyb
Rollup merge of rust-lang#33534 - dns2utf8:atomic_docs, r=GuillaumeGomez
dbf812f 
Simplify text

This way it should be clear: Any number of other threads have this guaranty not just one other thread.
sanxiyn added a commit to sanxiyn/rust that referenced this pull request May 14, 2016
@sanxiyn
Rollup merge of rust-lang#33534 - dns2utf8:atomic_docs, r=GuillaumeGomez
a4a7462 
Simplify text

This way it should be clear: Any number of other threads have this guaranty not just one other thread.
@sanxiyn sanxiyn mentioned this pull request May 14, 2016
Closed
bors added a commit that referenced this pull request May 14, 2016
@bors
Auto merge of #33629 - sanxiyn:rollup, r=sanxiyn
a9d15db 
Rollup of 15 pull requests

- Successful merges: #33342, #33393, #33415, #33475, #33517, #33533, #33534, #33565, #33580, #33590, #33591, #33598, #33603, #33604, #33605
- Failed merges: #33578
@eddyb eddyb mentioned this pull request May 14, 2016
Merged
Manishearth added a commit to Manishearth/rust that referenced this pull request May 15, 2016
@Manishearth
Rollup merge of rust-lang#33534 - dns2utf8:atomic_docs, r=GuillaumeGomez
0ceb073 
Simplify text

This way it should be clear: Any number of other threads have this guaranty not just one other thread.
@Manishearth Manishearth mentioned this pull request May 15, 2016
Merged
bors added a commit that referenced this pull request May 15, 2016
@bors
Auto merge of #33658 - Manishearth:rollup, r=Manishearth
9f58fb7 
Rollup of 14 pull requests

- Successful merges: #33342, #33393, #33415, #33475, #33517, #33533, #33534, #33565, #33580, #33584, #33585, #33590, #33591, #33598
- Failed merges: #33578
@bors bors merged commit 66404f3 into rust-lang:master May 15, 2016
bors added a commit that referenced this pull request May 16, 2016
@bors
Auto merge of #33643 - eddyb:rollup, r=eddyb
bb39c49 
Rollup of 27 pull requests

- Successful merges: #33342, #33393, #33415, #33475, #33517, #33533, #33534, #33565, #33580, #33584, #33585, #33588, #33590, #33591, #33593, #33598, #33600, #33602, #33603, #33604, #33605, #33607, #33612, #33620, #33633, #33634, #33635
- Failed merges: #33578
@dns2utf8 dns2utf8 deleted the atomic_docs branch May 16, 2016 14:25
@dns2utf8 dns2utf8 restored the atomic_docs branch May 16, 2016 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@brson brson

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@dns2utf8 @rust-highfive @GuillaumeGomez @steveklabnik @bors @brson