mirror of
https://github.com/MariaDB/server.git
synced 2025-07-25 15:08:40 +00:00

no longer needed, MySQL replication was fixed meanwhile. client code still can recognize and strip the prefix though.
no longer needed, MySQL replication was fixed meanwhile. client code still can recognize and strip the prefix though.