fix #79: don't reuse m_buckets when allocator does not compare equal#80

Merged

martinus merged 1 commit intomainfrom 2023-07-fix-segfault-with-different-allocators

Jul 13, 2023

+54-12

Commits on Jul 13, 2023

fix #79 : don't reuse m_buckets when allocator does not compare equal
martinus
committed