Hi, Aleksey! I think it's better to wrap it up quickly, agree on changes and push the fix before the next release.
On Jun 01, Aleksey Midenkov wrote: > Hi Sergei! > > Users could benefit from this fix of MDEV-18734 since the last > changes. Do you really think the open questions left are so important > for this bug to be still not pushed? > Regards, Sergei VP of MariaDB Server Engineering and [email protected] _______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp
