It can be merged, this is work to get the new memory manager coherent in behaviour with the existing ones.


Reply to this email directly or view it on GitHub.