Hello! Thank you for filing this excellent report. Since you seem to know how to solve it, would you like to open a pull request at github and have your contribution logged in git history?
The Debian packaging repo http://git.debian.org/?p=pkg-mysql/mariadb-10.0.git is mirrored at t https://github.com/ottok/mariadb-10.0 I can also easily run 'git pull git://git.debian.org/users/..../mariadb-10.0.git' if you don't want to collaborate via Github, just send the url of your repo location. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
