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.

1 participant