Bug#852728: [debian-mysql] Bug#852728:

[Otto Kekäläinen]

Fixed already in https://github.com/ottok/mariadb-10.1/pull/6

I will upload ASAP when possible. Some other changes may come in today too.