Re: [Maria-developers] Rev 3818: Check for duplicate index (port from mysql)