Skip to content

Conversation

joshka
Copy link
Collaborator

@joshka joshka commented Jul 14, 2025

Happy PR #1000 :)

@joshka joshka requested a review from TimonPost as a code owner July 14, 2025 01:11
@joshka joshka force-pushed the jm/fix-clippy-lints branch from f8b49fd to e729199 Compare July 14, 2025 01:14
@joshka joshka merged commit 41bcd3b into master Jul 14, 2025
4 of 6 checks passed
@joshka joshka deleted the jm/fix-clippy-lints branch July 14, 2025 01:25
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