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

Silence clippy warning #27

Closed

Kijewski wants to merge 1 commit into kinnison:main from Kijewski:pr-clippy

Contributor

Kijewski commented Sep 6, 2023

No description provided.


          Silence clippy warning

b365756

Owner

kinnison commented Sep 12, 2023

I think this was already proposed by someone else, so I've taken the older PR for politeness.

kinnison closed this

Kijewski deleted the pr-clippy branch

September 12, 2023 12:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet