Skip to content

Comments

update dependencies#57

Merged
zargot merged 3 commits intodevfrom
devtools-dep
Apr 16, 2025
Merged

update dependencies#57
zargot merged 3 commits intodevfrom
devtools-dep

Conversation

@zargot
Copy link
Collaborator

@zargot zargot commented Apr 3, 2025

see commits

@zargot zargot requested a review from yulric April 3, 2025 17:06
@zargot zargot linked an issue Apr 4, 2025 that may be closed by this pull request
@zargot
Copy link
Collaborator Author

zargot commented Apr 14, 2025

@yulric

@zargot zargot merged commit 20177cf into dev Apr 16, 2025
@zargot zargot deleted the devtools-dep branch April 16, 2025 14:32
zargot added a commit that referenced this pull request Apr 24, 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.

missing devtools dependency

2 participants