mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
7b500f04fb
don't assume anymore that OPTIONS_WRITTEN_TO_BIN_LOG is fixed once and forever. Instead, deduct master's OPTIONS_WRITTEN_TO_BIN_LOG from the master's version in binlog.
920 B
920 B