[MariaDB developers] Re: 448e82f9f0d: MDEV-35720 Add query_time to statistics