maria-developers team mailing list archive

[Badrul Chowdhury <badrulchowdhury17@xxxxxxxxx>]

Hello Sergei,

Thanks for confirming. Here is a pull request with a fix for the bug:
https://github.com/MariaDB/server/pull/703

So far, I have verified that it works as expected on Linux. I will verify
that it works as expected on Windows (and push any relevant changes to the
PR) after I set up a test environment in a few days.

Please excuse any errors in filing the PR- this will be my first
contribution to MariaDB :)

Looking forward to your feedback,

Thanks,
Badrul

On Tue, Apr 10, 2018 at 3:50 AM, Sergei Golubchik <serg@xxxxxxxxxxx> wrote:

> Hi, Badrul!
>
> On Apr 10, Badrul Chowdhury wrote:
> > Hello,
> >
> > Is anyone working on https://jira.mariadb.org/browse/MDEV-14448?
>
> Nobody, as far as I know :)
>
> > Pointers to documentation on the procedure to adopt upstream fixes would
> be
> > appreciated also.
>
> Sure. https://mariadb.org/get-involved/getting-started-for-developers/
>
> Regards,
> Sergei
> Chief Architect MariaDB
> and security@xxxxxxxxxxx
>



-- 

Cheers,
Badrul