Skip to content

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

Filip Jagodzinski and others added 2 commits October 24, 2018 18:07
Change passive to active voice.
@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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants