Re: [Maria-developers] 19fbfab084f: Compilation fix