Re: [Maria-developers] [Question #169828]: MariaDB 5.3.0 7 crash in 4 minutes