Skip to content

Add an option to use the mimalloc memory allocator#170

Merged
PeterTh merged 1 commit intomasterfrom mimallocApr 5, 2023

Commits

Commits on Mar 30, 2023