Skip to content

Fix delete on void pointer#49

Open
napetrov wants to merge 2 commits into
mainfrom
codex/fix-coverity-hit-for-deleting-void-pointer
Open

Fix delete on void pointer#49
napetrov wants to merge 2 commits into
mainfrom
codex/fix-coverity-hit-for-deleting-void-pointer

Commits

Commits on Jun 11, 2025