Skip to content

Conversation

@ignatiusmb
Copy link
Member

Closes #178

@ignatiusmb ignatiusmb added the dependencies Pull requests that update a dependency file label Dec 6, 2023
@ignatiusmb ignatiusmb merged commit 9940b81 into master Dec 7, 2023
@ignatiusmb ignatiusmb deleted the deps branch December 7, 2023 07:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants