Aleksey Kladov deed44a472 Remove support for jemalloc ...

We only used it for measuring memory usage, but now we can use glibc's
allocator for that just fine

2020-07-22 13:40:45 +02:00

..

dev

Remove support for jemalloc

2020-07-22 13:40:45 +02:00

user

Merge #5407

2020-07-16 17:03:39 +00:00