Re: [Maria-discuss] Does ADD/DROP INDEX update the InnoDB buffer pool?