26 Sep
2019
26 Sep
'19
11:46 a.m.
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/62d9ca85706bc0c78ca174703ca46e2e820...
Sorry, wrong URL. The patch is actually here: https://github.com/MariaDB/server/commit/17eeab8b470c237ce93d7ba9b5ecc6c4317... Alternatively, just go to the branch: https://github.com/MariaDB/server/compare/bb-10.5-bar-m20016 and choose the top commit. <cut>