Skip to content

clippy: remove useless_vec#16

Merged
sourcefrog merged 1 commit intogitpatch-rs:mainfrom
sourcefrog:clippy
Dec 10, 2025
Merged

clippy: remove useless_vec#16
sourcefrog merged 1 commit intogitpatch-rs:mainfrom
sourcefrog:clippy

Commits

Commits on Dec 8, 2025