Re: [Maria-developers] Please fix: innodb_plugin.innodb_gis fails on 'gcov' builder