Thanks Samuel for these patches! Are you comfortable with git? Would you like to submit this in the form of at git merge/pull request? The repo is at https://anonscm.debian.org/gitweb/?p=pkg-mysql/mariadb-10.0.git and a mirror at https://github.com/ottok/mariadb-10.0 if you like Github.
Here is a nice example of a debian/patches adding commit: https://github.com/ottok/mariadb-10.0/pull/45/files
