Skip to content

chore: remove unused deps#127

Merged
joshka merged 1 commit intomainfrom
jm/remove-udeps
Feb 5, 2025
Merged

chore: remove unused deps#127
joshka merged 1 commit intomainfrom
jm/remove-udeps

Conversation

@joshka
Copy link
Copy Markdown
Member

@joshka joshka commented Dec 24, 2024

No description provided.

@joshka joshka merged commit 7b10082 into main Feb 5, 2025
6 checks passed
@joshka joshka deleted the jm/remove-udeps branch February 5, 2025 19:55
@github-actions github-actions bot mentioned this pull request Feb 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant