[MariaDB developers] Re: [PATCH] MDEV-28413 System versioning is incorrect in Spider