Skip to content

Use optimized version of lists:delete/2 - #2383

Open
pguyot wants to merge 1 commit into
atomvm:release-0.7from
pguyot:w30/optimized-lists-delete
Open

Use optimized version of lists:delete/2#2383
pguyot wants to merge 1 commit into
atomvm:release-0.7from
pguyot:w30/optimized-lists-delete

Commits

Commits on Jul 25, 2026