Re: [Maria-developers] Coverity scans of MariaDB source