Skip to content

Conversation

@FedericoNegri
Copy link
Contributor

No description provided.

@FedericoNegri FedericoNegri added the enhancement New features or code improvements label Apr 25, 2023
@github-actions github-actions bot added the maintenance Package and maintenance related label Apr 25, 2023
@FedericoNegri FedericoNegri marked this pull request as ready for review April 25, 2023 08:46
@FedericoNegri FedericoNegri requested a review from nezgrath April 25, 2023 08:46
@FedericoNegri FedericoNegri merged commit 82ba0b6 into main Apr 25, 2023
@FedericoNegri FedericoNegri deleted the fnegri/project_copy branch May 9, 2023 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New features or code improvements maintenance Package and maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants