This repository was archived by the owner on May 3, 2026. It is now read-only.

Clippy: apply suggestions for manual_filter - #20

Open

dswij wants to merge 1 commit into

bodil:masterfrom

dswij:clippy-manual-filter

Workflow runs completed with no jobs