[Maria-developers] MDEV-16768 and MDEV-16703 patch review

10 Aug 2018

      Hi Sergey,

Could you help to review below 2 patches please?

MDEV-16768: https://github.com/MariaDB/server/pull/837
MDEV-16703: https://github.com/MariaDB/server/pull/839

Thanks,
Ming

Ming Lin