Skip to content

Conversation

@workingjubilee
Copy link

These are just generated formatting issues and clippy complaints. I don't know if they're all valid/correct: I mean, the first commit is purely formatting issues, but the second commit includes mostly clippy lints which are more... overzealous and some might of them might be wrong, so I am happy to overlook them if they are. You don't have to fix the clippy lints per se for things to land, but something has to be adjusted, either us allowing clippy's warnings or whatever.

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