Re: [Maria-developers] [patch 01/11] Fix error report summary at end of mysql-test-run