Hi Vasilii,

Yes, please go ahead and create pull request against "main" branch.
https://github.com/MariaDB/server/pulls

Regards,
Sergey

On Sat, Feb 15, 2025 at 5:18 PM Lakhin Vasilii via discuss <discuss@lists.mariadb.org> wrote:
Forgot to attach the patch I mentioned.
_______________________________________________
discuss mailing list -- discuss@lists.mariadb.org
To unsubscribe send an email to discuss-leave@lists.mariadb.org