Skip to content

Conversation

pennam
Copy link
Contributor

@pennam pennam commented Jul 31, 2023

No description provided.

@pennam pennam requested a review from umbynos July 31, 2023 09:28
@umbynos umbynos merged commit 61fd5bc into arduino:main Jul 31, 2023
umbynos added a commit that referenced this pull request Jul 31, 2023
@umbynos umbynos mentioned this pull request Jul 31, 2023
umbynos added a commit that referenced this pull request Jul 31, 2023
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Aug 1, 2023
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.

3 participants