Skip to content

Conversation

@FedericoNegri
Copy link
Contributor

No description provided.

@FedericoNegri FedericoNegri added the dependencies Related with project dependencies label Nov 9, 2022
@FedericoNegri FedericoNegri merged commit 62b8b34 into main Nov 9, 2022
@FedericoNegri FedericoNegri deleted the fnegri/update_deps branch January 16, 2023 07:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Related with project dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants