rpl.rpl_gtid_delete_domain failed in buildbot

rpl.rpl_gtid_delete_domain 'mix'         w4 [ fail ]

        Test ended at 2020-07-02 04:17:33

CURRENT_TEST: rpl.rpl_gtid_delete_domain

mysqltest: At line 58: query 'FLUSH BINARY LOGS DELETE_DOMAIN_ID=($extra_domain_id)' failed: 1076: Could not delete gtid domain. Reason: binlog files may contain gtids from the domain ('11') being deleted. Make sure to first purge those files.

The result from queries just before the failure was:

< snip >

connection slave;

call mtr.add_suppression("connecting slave requested to start from.*which is not in the master's binlog");

include/stop_slave.inc

CHANGE MASTER TO master_use_gtid=slave_pos;

connection master;

SET @@SESSION.gtid_domain_id=11;

SET @@SESSION.server_id=111;

SET @@SESSION.gtid_seq_no=1;

INSERT INTO t SET a=1;

connection slave;

SET @save.gtid_slave_pos=@@global.gtid_slave_pos;

SET @@global.gtid_slave_pos=concat(@@global.gtid_slave_pos,  ",", 11, "-", 111, "-", 1 + 1);

Warnings:

Warning	1947	Specified GTID 0-1-1 conflicts with the binary log which contains a more recent GTID 0-2-2. If MASTER_GTID_POS=CURRENT_POS is used, the binlog position will override the new value of @@gtid_slave_pos

START SLAVE IO_THREAD;

include/wait_for_slave_io_error.inc [errno=1236]

connection master;

FLUSH BINARY LOGS;

PURGE BINARY LOGS TO 'master-bin.000002';;

FLUSH BINARY LOGS DELETE_DOMAIN_ID=(11);

More results from queries before failure can be found in /usr/local/mariadb-10.2.33-linux-x86_64/mysql-test/var/4/log/rpl_gtid_delete_domain.log

 - saving '/usr/local/mariadb-10.2.33-linux-x86_64/mysql-test/var/4/log/rpl.rpl_gtid_delete_domain-mix/' to '/usr/local/mariadb-10.2.33-linux-x86_64/mysql-test/var/log/rpl.rpl_gtid_delete_domain-mix/'