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

Revert "Fix mbed-tool support" #77

Merged
merged 1 commit into from Apr 14, 2021
Merged

Revert "Fix mbed-tool support" #77

merged 1 commit into from Apr 14, 2021

Conversation

0xc0170
Copy link
Contributor

@0xc0170 0xc0170 commented Apr 14, 2021

Reverts #76

Unfortunately it was merged to master (release branch).

Copy link
Contributor

@LDong-Arm LDong-Arm left a comment

Choose a reason for hiding this comment

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

The revert of course fails Travis CI

@0xc0170
Copy link
Contributor Author

0xc0170 commented Apr 14, 2021

Failure expected, the release script will make it green when we update master from development. I'll merge this now.

@0xc0170 0xc0170 merged commit c2a1ddf into master Apr 14, 2021
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