maria-developers team mailing list archive
-
maria-developers team
-
Mailing list archive
-
Message #11960
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