mirror of
https://github.com/MariaDB/server.git
synced 2025-11-18 07:48:43 +03:00
into mishka.mysql.fi:/home/my/mysql-4.1 include/mysql.h: Auto merged sql/mysql_priv.h: Auto merged
into mishka.mysql.fi:/home/my/mysql-4.1 include/mysql.h: Auto merged sql/mysql_priv.h: Auto merged