Re: [Maria-developers] Server crashes in inline_mysql_mutex_lock