Re: [Maria-discuss] Travis-CI and MariaDB