Skip to content

Conversation

@per1234
Copy link
Collaborator

@per1234 per1234 commented Oct 25, 2020

No description provided.

@per1234 per1234 requested a review from giulcioffi October 25, 2020 04:56
@per1234 per1234 added the type: enhancement Proposed improvement label Oct 25, 2020
@per1234 per1234 merged commit 8360191 into arduino:main Oct 26, 2020
@per1234 per1234 deleted the gitignore branch October 26, 2020 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants