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