Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: clippy lints from rust 1.80.0 #1238

Merged
merged 1 commit into from
Jul 26, 2024
Merged

fix: clippy lints from rust 1.80.0 #1238

merged 1 commit into from
Jul 26, 2024

Conversation

joshka
Copy link
Member

@joshka joshka commented Jul 26, 2024

No description provided.

@joshka joshka added Effort: Easy Something that should be pretty quick to fix Priority: High A bug or feature that should be out in the next release labels Jul 26, 2024
@joshka joshka force-pushed the jm/fix-clippy-1.80 branch from 9ab4279 to 5a8c967 Compare July 26, 2024 07:27
@joshka joshka merged commit 84f3341 into main Jul 26, 2024
33 checks passed
@joshka joshka deleted the jm/fix-clippy-1.80 branch July 26, 2024 07:55
@joshka joshka mentioned this pull request Jul 26, 2024
Merged
joshka added a commit to erak/ratatui that referenced this pull request Oct 14, 2024
@joshka
fix: clippy lints from rust 1.80.0 (ratatui#1238)
c43e9cf
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kdheepak kdheepak kdheepak approved these changes

@orhun orhun Awaiting requested review from orhun

@Valentin271 Valentin271 Awaiting requested review from Valentin271

@EdJoPaTo EdJoPaTo Awaiting requested review from EdJoPaTo

Assignees
No one assigned
Labels
Effort: Easy Something that should be pretty quick to fix Priority: High A bug or feature that should be out in the next release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@joshka @kdheepak