1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch '10.9' into 10.10

This commit is contained in:
Oleksandr Byelkin
2022-08-09 09:47:16 +02:00
585 changed files with 10999 additions and 4575 deletions

View File

@@ -6,7 +6,7 @@
# ==== Usage ====
#
# [--let $master_use_gtid_option= NO]
# --source include/rpl_reset_slave.inc
# --source include/reset_slave.inc
#
# Parameters:
# $master_use_gtid_option