Hi Sergei,
On 9/17/19 10:59 AM, Alexander Barkov wrote:
Hi Sergei,
Thank you for your review!
I've fixed some of your suggestions.
For other suggestions I have questions and comments. See below.
A new patch is here:
https://github.com/MariaDB/server/commit/62d9ca85706bc0c78ca174703ca46e2e82002491
Sorry, wrong URL.
The patch is actually here:
https://github.com/MariaDB/server/commit/17eeab8b470c237ce93d7ba9b5ecc6c4317d46e5
Alternatively, just go to the branch:
https://github.com/MariaDB/server/compare/bb-10.5-bar-m20016
and choose the top commit.
<cut>
_______________________________________________
Mailing list: https://launchpad.net/~maria-developers
Post to : maria-developers@lists.launchpad.net
Unsubscribe : https://launchpad.net/~maria-developers
More help : https://help.launchpad.net/ListHelp
