Re: [Maria-developers] redundant compilation of targets in mariadb 10.0