Re: [Maria-developers] Automatic annotated code coverage reports for MariaDB