Re: [Maria-developers] Rev 2994: BUG#790513: MariaDB crashes on startup