Hi Bar,

On Tue, Apr 4, 2017 at 9:16 AM, Alexander Barkov <bar@mariadb.org> wrote:

Please let me know when the fix is available in 10.2.
I will propagate it to bb-10.2-compatibility asap.

I merged it yesterday to 10.2. Both bb-10.2-compatibility and 10.3 will need the merge of https://github.com/MariaDB/server/commit/6d417a0bad205a6bacfee10dbc46dd631b093e75 or a later revision of 10.2.

Marko

DON’T MISS
M|17
April 11 - 12, 2017
The Conrad Hotel
New York City
https://m17.mariadb.com/

Marko Mäkelä, Lead Developer InnoDB
MariaDB Corporation