Re: [Maria-developers] MDEV-14448

2018-04-15 Thread Badrul Chowdhury
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

Re: [Maria-developers] MDEV-14448

2018-04-10 Thread Sergei Golubchik
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/gett

[Maria-developers] MDEV-14448

2018-04-10 Thread Badrul Chowdhury
Hello, Is anyone working on https://jira.mariadb.org/browse/MDEV-14448? Pointers to documentation on the procedure to adopt upstream fixes would be appreciated also. Thanks, Badrul ___ Mailing list: https://launchpad.net/~maria-developers Post to