Skip to content

Conversation

@pennam
Copy link
Collaborator

@pennam pennam commented Aug 1, 2022

No description provided.

@pennam pennam requested a review from per1234 August 1, 2022 11:28
@pennam pennam merged commit 925922b into master Aug 2, 2022
@per1234 per1234 added type: enhancement Proposed improvement topic: documentation Related to documentation for the project labels Aug 7, 2022
@aentinger aentinger deleted the ota-list branch August 8, 2022 04:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: documentation Related to documentation for the project type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants