Bug#808421: [debian-mysql] Bug#808421: proposed solution

[Otto Kekäläinen]

Thanks!

Commited as 
https://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.0.git/commit/?id=d258bf46d85f77a60417adc139289b674aabeb73