8000 Fix new Clippy lint by intgr · Pull Request #111 · intgr/ego · GitHub
[go: up one dir, main page]

Skip to content

Fix new Clippy lint#111

Merged
intgr merged 1 commit intomasterfrom
fix-clippy-lint
Nov 22, 2022
Merged

Fix new Clippy lint#111
intgr merged 1 commit intomasterfrom
fix-clippy-lint

Conversation

@intgr
Copy link
Owner
@intgr intgr commented Nov 22, 2022

@intgr intgr merged commit 5b57331 into master Nov 22, 2022
@intgr intgr deleted the fix-clippy-lint branch November 22, 2022 17:43
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

0