Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Oct 26, 2020

No description provided.

@per1234 per1234 requested a review from a team October 26, 2020 07:47
@per1234 per1234 merged commit 240da28 into arduino:main Oct 27, 2020
@per1234 per1234 deleted the gitignore branch October 27, 2020 11:10
@per1234 per1234 added topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement labels Sep 29, 2021
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants