Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@edmorley
Copy link
Member

Since the lint errors were fixed by #720.

Since the lint errors were fixed by #720.
@edmorley edmorley self-assigned this Nov 17, 2023
@edmorley edmorley marked this pull request as ready for review November 17, 2023 12:01
@edmorley edmorley requested a review from a team as a code owner November 17, 2023 12:01
@edmorley edmorley merged commit ee6542f into main Nov 17, 2023
@edmorley edmorley deleted the edmorley/rm-redundant-clippy-allows branch November 17, 2023 12:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants