Skip to content

Use smallvec for dtor lists.#93

Merged
sunfishcode merged 1 commit intomainfrom sunfishcode/smallvecNov 9, 2023

Commits

Commits on Nov 9, 2023