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 < [email protected]> wrote: > Forgot to attach the patch I mentioned. > _______________________________________________ > discuss mailing list -- [email protected] > To unsubscribe send an email to [email protected] >
_______________________________________________ discuss mailing list -- [email protected] To unsubscribe send an email to [email protected]
