Skip to content

Make mimalloc the default allocator#501

Merged
bors[bot] merged 2 commits intopika-org:mainfrom msimberg:default-allocator-mimallocNov 3, 2022