← Back to team overview

maria-developers team mailing list archive

Re: 3f38da9145c: MDEV-20016 Add MariaDB_DATA_TYPE_PLUGIN

 

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>


References