Closed andronat closed 4 years ago
@andronat Are you sure we want to remove it? I thought you're considering bringing it back. @parras What is your take?
I think the idea is to replace this old, unreliable malloc with mimalloc -- which is fine. @andronat is that correct?
Yep! That’s exactly the plan as @parras says.
Thanks, I'm then ok to remove this.
Removed SaBRe's custom malloc as it is not used.
Also removed a couple of superfluous statements that are duplicates of here and here.