Re: [Maria-developers] Review of mysql-test-run speedup patch