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-le...@lists.mariadb.org
>
_______________________________________________
discuss mailing list -- discuss@lists.mariadb.org
To unsubscribe send an email to discuss-le...@lists.mariadb.org

Reply via email to