Re: [Maria-developers] A new Ubuntu UPDATE event problem smashed MariaDB dead