Skip to content

Conversation

shakram02
Copy link
Contributor

@shakram02 shakram02 commented Jan 11, 2019

Fixed a small typo in help

theotherjimmy
theotherjimmy previously approved these changes Jan 11, 2019
@bridadan
Copy link
Contributor

This PR will need a rebase to bring in the fixes for the Circle CI configuration.

@bridadan
Copy link
Contributor

Hi @shakram02, could you rebase instead? The merge is bringing in extra changes to the history. If you need help with the rebase just let me know, thanks!

@shakram02
Copy link
Contributor Author

shakram02 commented Jan 14, 2019

Hey @bridadan, yes sure, sorry for the trouble as I'm still a newbie in making PRs for external repos 😬. I hope it's fixed this way. Thanks for offering help!

@bridadan
Copy link
Contributor

Not at all, thanks very much for the contribution!

@theotherjimmy theotherjimmy merged commit 92b2fc5 into ARMmbed:master Jan 30, 2019
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.

3 participants