Use jemalloc as global allocator on unix#2252

briangmilnes wants to merge 1 commit into

verus-lang:mainverus-lang/verus:mainfrom

briangmilnes:jemalloc-global-allocatorbriangmilnes/verus-lang:jemalloc-global-allocatorCopy head branch name to clipboard