I have now pushed the code to 10.3. It should appear in an upcoming MariaDB 10.3.1 release, IIUC.
Following the discussion so far, the default for --gtid-pos-auto-engines is currently empty. It can be easily changed later (eg. to innodb,tokudb,rocksdb) simply by changing the default value in sql/mysqld.cc. The code will allow this default setting even if eg. tokudb or rocksdb is not enabled. (There might be a need to adjust a couple test cases that specially manipulates mysql.gtid_slave_pos in devious ways). Let me know in case of any problems or if there are comments/questions. - Kristian. _______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : maria-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp
