
19 Feb
2025
19 Feb
'25
3 p.m.
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