Re: [Maria-developers] New problem with GTID patch