Re: [Phpmyadmin-devel] Possible bug in Add index