1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Fixed patch that was part of last push that didn't apply correctly.

This commit is contained in:
Michael Widenius
2013-06-15 23:01:01 +03:00
parent 5f1f2fc0e4
commit 7c1abe151c
2 changed files with 8 additions and 11 deletions

View File

@ -406,7 +406,7 @@ static bool mysql_admin_table(THD* thd, TABLE_LIST* tables,
open_error= open_and_lock_tables(thd, table, TRUE, 0);
da->pop_warning_info(&tmp_wi);
da->pop_warning_info();
}
else
{