Re: [Maria-developers] [Commits] 101d7eb: MDEV-4987: Sort by domain_id when list of GTIDs are output

Nirbhay Choubey <nirbhay@mariadb.com> writes:

I originally thought of pushing it to 10.1 (10.1.4). Do you want me to push it to 10.0 as well?

Hm. I guess it's best to push only to 10.1? - Kristian.