Re: [Maria-developers] MDEV-5081 - Simple performance improvement for MariaDB