Hello, Otto Kekäläinen, on Mon 31 Oct 2016 15:06:20 +0200, wrote: > Would you like to submit this in the form of at git merge/pull > request? I have pushed it to git clone http://people.debian.org/~sthibault/tmp/mariadb-10.0 Samuel