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.

Sign up for GitHub

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

Jump to bottom

Revert "Revert "Support for raspberry pi pico"" #164

Merged
merged 1 commit into from
Apr 17, 2021
Merged

Revert "Revert "Support for raspberry pi pico"" #164

merged 1 commit into from
Apr 17, 2021

Conversation

lensvol
Copy link
Collaborator

@lensvol lensvol commented Apr 17, 2021

This reverts commit dc1c60e, which was reverted too soon.

@lensvol lensvol requested a review from vlasovskikh April 17, 2021 09:02
@lensvol lensvol merged commit d5f930a into JetBrains:master Apr 17, 2021
@vlasovskikh
Copy link
Contributor

@lensvol I've put the original PR #143 to the 1.2 project board to keep track of thing that are major updates vs bug fix updates. We'll have to update the changes doc as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vlasovskikh vlasovskikh vlasovskikh approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lensvol @vlasovskikh