mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Merge may.pils.ru:/home/svoj/devel/mysql/BUG7391/mysql-4.1
into may.pils.ru:/home/svoj/devel/mysql/BUG7391/mysql-5.0 mysql-test/r/grant.result: Manual merge: use local. mysql-test/t/grant.test: Manual merge: use local. sql/sql_update.cc: Manual merge: use local.
This commit is contained in:
commit
145dd58d3c