Thanks for the patch! It did though include whitespace characters etc so I had to apply it manually. In the future I'd prefer to get patches as public git branches I can easily pull (and you can easily rebase when the target repo updates). Or alternatively you can send patches on Github as pull requests.
https://anonscm.debian.org/git/pkg-mysql/mariadb-10.1.git/ (mirror https://github.com/ottok/mariadb-10.1) Thanks!
