Hello Axel! I committed your patch in https://github.com/ottok/mariadb-10.0/commit/fddb4c3d2a74d25c5aef057674d561fbc874d14c on my own development branch.
Packages built from that commit are now available at # Debian unstable deb http://labs.seravo.fi/~otto/mariadb-repo/ mariadb-10.0-sid-amd64/ deb http://labs.seravo.fi/~otto/mariadb-repo/ mariadb-10.0-sid-i386/ Please test them and confirm that the bug you reported has been fixed by this commit.

