Skip to content

Doc std::thread::park_timeout #35239

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

Merged
merged 2 commits into from
Aug 5, 2016
Merged

Conversation

dns2utf8
Copy link
Contributor

@dns2utf8 dns2utf8 commented Aug 3, 2016

@@ -447,6 +447,8 @@ pub fn park() {
*guard = false;
}

/// Use [park_timeout][park_timeout].
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you don't need the second []s here

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done

@steveklabnik
Copy link
Member

Thanks so much! I have some extremely minor nitpics 😄

@steveklabnik
Copy link
Member

Great! Thanks 😄

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Aug 3, 2016

📌 Commit 20721a4 has been approved by steveklabnik

@dns2utf8
Copy link
Contributor Author

dns2utf8 commented Aug 3, 2016

Was fun 😄 Had this problem myself, so I documented it.

sophiajt pushed a commit to sophiajt/rust that referenced this pull request Aug 4, 2016
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Aug 4, 2016
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Aug 5, 2016
bors added a commit that referenced this pull request Aug 5, 2016
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Aug 5, 2016
bors added a commit that referenced this pull request Aug 5, 2016
@bors bors merged commit 20721a4 into rust-lang:master Aug 5, 2016
@dns2utf8 dns2utf8 deleted the doc_park_timeout branch August 6, 2016 08:03
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants