Re: [Maria-developers] Likely a dead optimizer related code