1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

post-merge fix

This commit is contained in:
unknown
2006-03-06 15:14:15 +04:00
parent 7d24c7d445
commit 76e5c1b4b6

View File

@@ -642,4 +642,3 @@ delete from mysql.db where user='mysqltest1';
delete from mysql.tables_priv where user='mysqltest1';
flush privileges;
drop database mysqltest;