Hello! Would you care to provide a patch that can be applied on MariaDB 10.0.16? source at http://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.0.git (and github mirror for pull requests, if you prefer them: https://github.com/ottok/mariadb-10.0)