mirror of https://github.com/MariaDB/server
Browse Source
line 8473 In case InnoDB index is not found, print the MySQL and InnoDB index name we were trying to find and all MySQL and InnoDB index names there is for this table.pull/57/head
2 changed files with 30 additions and 1 deletions
Loading…
Reference in new issue