Skip to content

Conversation

@joaomariolago
Copy link
Collaborator

  • Allows developers to tag their extensions as education type

* Allows developers to tag their extensions as education type
@patrickelectric patrickelectric merged commit a16ba31 into bluerobotics:master Jun 19, 2025
2 checks passed
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.

3 participants