Skip to content

Prevent collections from unnecessarily finalizing elems#54

Merged
bors[bot] merged 2 commits intosoftdevteam:masterfrom jacob-hughes:needs_finalize_fixApr 27, 2022

Commits

Commits on Apr 26, 2022