Fix M3: rename detail::erase_if to detail::filter#35

Merged

csparker247 merged 1 commit intodevelopfrom

fix/M3-rename-erase-if

Mar 16, 2026

Commits on Mar 16, 2026

Fix M3: rename detail::erase_if to detail::filter

csparker247
and
claude
committed