done as 842cb51e81f.

On Thu, 20 Jul 2023 at 18:04, Sergei Golubchik <serg@mariadb.org> wrote:

Hi, Nikita,

ok to push after making few small changes

Yours truly,

Nikita Malyavin