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

PlatformMutex docs update #8536

Merged
merged 2 commits into from
Oct 27, 2018
Merged

PlatformMutex docs update #8536

merged 2 commits into from
Oct 27, 2018

Conversation

fkjagodzinski
Copy link
Member

Description

Docs update for the PlatformMutex class.

Pull request type

[ ] Fix
[ ] Refactor
[ ] Target update
[ ] Functionality change
[x] Docs update
[ ] Test update
[ ] Breaking change

CC @AnotherButler

fkjagodzinski and others added 2 commits October 24, 2018 18:07
@fkjagodzinski
PlatformMutex docs update
e095c78
Edit PlatformMutex.h
1131d84 
Change passive to active voice.
@cmonr cmonr mentioned this pull request Oct 26, 2018
Merged
@cmonr
Copy link
Contributor

cmonr commented Oct 26, 2018

Note: This PR is now a part of a rollup PR (#8552).

No further work is needed here, as once that PR is merged, this PR will also be closed and marked as merged.

@cmonr cmonr merged commit 1131d84 into ARMmbed:master Oct 27, 2018
@fkjagodzinski fkjagodzinski deleted the docs_update-platformmutex branch November 15, 2018 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cmonr cmonr cmonr approved these changes

@0xc0170 0xc0170 0xc0170 approved these changes

@AnotherButler AnotherButler AnotherButler approved these changes

Assignees
No one assigned
Labels
release-version: 5.10.3
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@fkjagodzinski @cmonr @0xc0170 @AnotherButler