Re: [Maria-developers] Rev 4234: Fixed bug mdev-6071