Skip to content
This repository was archived by the owner on Apr 14, 2021. It is now read-only.

Conversation

@0xc0170
Copy link
Contributor

@0xc0170 0xc0170 commented Jun 6, 2019

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.13.0-rc2 .

@0xc0170 0xc0170 merged commit 8d38ca0 into mbed-os-5.13 Jun 6, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants