Skip to content
This repository was archived by the owner on Mar 4, 2025. It is now read-only.

clippy: Fix redundant closure. #251

Merged
merged 2 commits into from
Oct 4, 2023

Conversation

waywardmonkeys
Copy link
Contributor

No description provided.

@waywardmonkeys waywardmonkeys force-pushed the clippy-redundant-closure branch from d98ef3c to d0582c2 Compare September 10, 2023 09:54
@waywardmonkeys
Copy link
Contributor Author

For CI to pass, #252 is needed.

@aevyrie aevyrie merged commit dab66c1 into aevyrie:main Oct 4, 2023
@aevyrie
Copy link
Owner

aevyrie commented Oct 4, 2023

Thank you!

@waywardmonkeys waywardmonkeys deleted the clippy-redundant-closure branch October 4, 2023 06:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants