[aur-requests] [PRQ#15263] Deletion Request for mariadb-10.3

[notify at aur.archlinux.org]

mherzberg [1] filed a deletion request for mariadb-10.3 [2]:

Hi, I think these four packages can be safely deleted now. They were
useful while MariaDB from the official repository was stuck at 10.1.
Meanwhile, it has caught up with upstream. Thanks, M.

[1] https://aur.archlinux.org/account/mherzberg/
[2] https://aur.archlinux.org/pkgbase/mariadb-10.3/