I am sorry but I have 30 MariaDB bugs to deal with and don't have bandwidth
to manually build on a armhf porter box right now.

It should be fairly easy for you to repeat the buildd build of current
MariaDB in unstable to repeat the issue.

Reply via email to