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.
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.