mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
Merge polly.(none):/home/kaa/src/opt/mysql-5.0-opt
into polly.(none):/home/kaa/src/opt/mysql-5.1-opt mysql-test/r/variables.result: Auto merged mysql-test/t/variables.test: Auto merged sql/mysql_priv.h: Auto merged sql/mysqld.cc: Auto merged sql/set_var.cc: Auto merged sql/sql_base.cc: Auto merged
This commit is contained in:
commit
8a5f350ffb