Skip to content

Conversation

demoray
Copy link
Collaborator

@demoray demoray commented Jan 27, 2023

No description provided.

@demoray demoray requested a review from mx00s January 27, 2023 00:26
@demoray demoray merged commit 1839f22 into main Jan 31, 2023
@demoray demoray deleted the clippy-issues-1.67.0 branch January 31, 2023 14:30
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.

2 participants