maria-developers team mailing list archive

[Sergei Golubchik <serg@xxxxxxxxxxx>]

Hi, Alexander,

On Jan 18, Alexander Barkov wrote:
> 
> Here's a new patch:
> 
> https://github.com/MariaDB/server/commit/0478f474020466c16bfcbc9c7d0ed582a40e4fb8

Thanks! This is ok to push
 
Regards,
Sergei
VP of MariaDB Server Engineering
and security@xxxxxxxxxxx