[debian-mysql] MariaDB 10.0 status?

[Otto Kekäläinen]

Hello Ondrej!

I am just checking: at
https://anonscm.debian.org/gitweb/?p=pkg-mysql/mariadb-10.0.git there
is commit 9a744cf by you in late March.

The master branch is however never uploaded anywhere anymore: all
relevant changes should go to the jessie or to some of the ubuntu
branches (or all of them).

Also it looks like you did the change but never uploaded it.

Before I proceed, I thought I should check with you what the status is
so I know if I maybe should discard the commit or do some
cherry-picking to the other branches or what.