Re: [Maria-developers] MariaDB Debian deprecation policy