(clippy) some small clippy fixes #28
ddidderr
commented 2022-05-08 23:32:29 +02:00
Owner
No description provided.
ddidderr
added 1 commit 2022-05-08 23:32:29 +02:00
(clippy) some small clippy fixes
6ef60596f3
mice_on_drugs
approved these changes 2022-06-05 14:58:32 +02:00
mice_on_drugs
merged commit d491ea12a5 into master 2022-06-05 14:58:37 +02:00
mice_on_drugs
deleted branch clippy_fixes 2022-06-05 14:58:37 +02:00
mice_on_drugs
referenced this issue from a commit 2022-06-05 14:58:38 +02:00
(clippy) some small clippy fixes (#28)
No reviewers
Labels
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: rustics/dns#28
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "clippy_fixes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?