Skip to content

Conversation

@felser
Copy link
Contributor

@felser felser commented Aug 27, 2019

Description

Pull request type

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

Reviewers

Release Notes

@ciarmcom ciarmcom requested a review from a team August 27, 2019 15:00
@ciarmcom
Copy link
Member

@felser, thank you for your changes.
@ARMmbed/mbed-os-maintainers please review.

@0xc0170
Copy link
Contributor

0xc0170 commented Aug 28, 2019

This is now part of roll up PR: #11358

Please do not change, or if you do, let us know asap

@0xc0170
Copy link
Contributor

0xc0170 commented Aug 28, 2019

Resolved via rollup PR #11358

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.

3 participants