Re: [Maria-developers] incomplete index stats in MariaDB