Skip to content

chore: Remove unnecessary drop calls#220

Open
marc2332 wants to merge 1 commit into
mainfrom
chore/remove-unnecessary-drop-calls
Open

chore: Remove unnecessary drop calls#220
marc2332 wants to merge 1 commit into
mainfrom
chore/remove-unnecessary-drop-calls

chore: Remove unnecessary `drop` calls

c62c302
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
profile
succeeded Jun 13, 2026 in 11m 16s