New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Fix clippy warnings #1236

Merged

dandavison merged 1 commit into dandavison:master from clnoll:fix-clippy

Nov 13, 2022

Contributor

clnoll commented Nov 13, 2022

No description provided.


          Fix clippy warnings

c6bf90f

dandavison merged commit 6b2d0b7 into dandavison:master

Owner

dandavison commented Nov 13, 2022

Thank you!

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet