Fix too aggressive Map/MapOf shrinking on deletion leading to out of range panic#113

Merged

puzpuzpuz merged 1 commit intomainfrom fix_too_aggressive_map_shrinking

Nov 14, 2023

+64-2

Commits on Nov 14, 2023

Fix too agressive Map/MapOf shrinking on deletion leading to out of range panic
puzpuzpuz
committed