Thanks Julian, you've done a very thorough job in producing and documenting the patch.
In future, if you send a patch, please do it as public git branches so 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. Git: https://anonscm.debian.org/git/pkg-mysql/mariadb-10.1.git/ (mirror https://github.com/ottok/mariadb-10.1) I am a bit afraid of applying this patch, as we are quite late in the release cycle, and I already did this week extensive jessie->stretch tests this week and I didn't come across any issues. Applying new patches to the maintainer scripts seems a bit risky as there could be some severe unintentional regressions. Also, because doing so much testing I am quite worn out right now and afraid of making mistakes simply because of being tired. Is there anybody on the pkg-maint-mysql team that could step in here, review the patch as such, and maybe even apply it on a test branch, build, and do some testing?
