Skip to content
This repository was archived by the owner on Apr 20, 2026. It is now read-only.

chore: make clippy happy#10

Merged
Evalir merged 2 commits intomainfrom
evalir/clippy
Oct 31, 2023
Merged

chore: make clippy happy#10
Evalir merged 2 commits intomainfrom
evalir/clippy

Conversation

@Evalir
Copy link
Copy Markdown
Contributor

@Evalir Evalir commented Oct 30, 2023

No description provided.

@Evalir Evalir merged commit 8d79348 into main Oct 31, 2023
@Evalir Evalir deleted the evalir/clippy branch October 31, 2023 02:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant