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

Merge 10.0-base -> 10.0 (GTID).

This commit is contained in:
unknown
2013-04-17 15:17:01 +02:00
261 changed files with 17249 additions and 8774 deletions

View File

@@ -27,6 +27,7 @@ mysql.plugin OK
mysql.proc OK
mysql.procs_priv OK
mysql.proxies_priv OK
mysql.rpl_slave_state OK
mysql.servers OK
mysql.slave_master_info OK
mysql.slave_relay_log_info OK