Re: [Maria-discuss] memory allocators and MariaDB