Re: [Maria-developers] Proposal to split @@optimizer_switch