Re: [Maria-developers] [patch 05/11] Add a variant of already existing valgrind suppression