Skip to content

Conversation

@0xc0170
Copy link
Contributor

@0xc0170 0xc0170 commented May 8, 2018

Please test this PR

If successful then merge, otherwise provide a known issue.
Once you get notification of the release being made public then tag Master with mbed-os-5.8.4 .

@donatieng donatieng merged commit 4002143 into ARMmbed:master May 25, 2018
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.

2 participants