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.

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

Updating Platform config page with latest configs #600

Merged
merged 1 commit into from Jun 27, 2018

Conversation

SenRamakri
Copy link
Contributor

This updates the platform configurations options with all new items.

This depends on: ARMmbed/mbed-os#7214

@SenRamakri
Copy link
Contributor Author

@AnotherButler - Can you please add @kegilbert and @AnotherButler as reviewers?

Copy link
Contributor

@kegilbert kegilbert left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@SenRamakri
Copy link
Contributor Author

@AnotherButler - ARMmbed/mbed-os#7214 has been merged. We could merge this now.

@AnotherButler AnotherButler merged commit e562ed6 into ARMmbed:development Jun 27, 2018
AnotherButler pushed a commit that referenced this pull request Jun 27, 2018
Make changes from PR #600 to live site after reviewing on test site.
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.

None yet

3 participants