Skip to content

Conversation

pennam
Copy link
Collaborator

@pennam pennam commented Feb 28, 2023

Following #354

@pennam pennam requested a review from per1234 February 28, 2023 09:37
@per1234 per1234 added the topic: infrastructure Related to project infrastructure label Feb 28, 2023
@pennam pennam merged commit 42e5dcd into master Mar 1, 2023
@pennam pennam deleted the portenta-ota-dep branch March 6, 2023 13:05
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants