[debian-mysql] Bug#933151: Bug#933151: FYI MP is up

Tue Jun 30 10:10:52 BST 2020

Forwarded: https://jira.mariadb.org/browse/MDEV-23051

Thanks Christian!

Note that riscv64 is nowadays an official platform for Debian, and
failures to build on riscv64 prevents MariaDB Server from being synced
from Debian to Ubuntu and Ubuntu will end up with outdated versions.
Build and sync statuses can be viewed at
https://launchpad.net/ubuntu/+source/mariadb-10.3 (and -10.4 and -10.5
eventually).