Skip to content

fix #76: correct return value for erase_if#77

Merged
martinus merged 3 commits intomainfrom 2023-05-fix-erase_if-returnvalue-bugMay 21, 2023