Re: [Maria-developers] performance monitoring