[aur-requests] [PRQ#5729] Deletion Request for mysql

[notify at aur.archlinux.org]

ijann [1] filed a deletion request for mysql [2]:

Git Clone URL:  https://aur.archlinux.org/mysql.git (read-only)
Package Base:   mysql
Description:    Fast SQL database server, community edition
Upstream URL:   https://www.mysql.com/products/community/


I say it's mysql-community installed but when I install MariaDB, what
happens?.
I want mysql-comunity not MariaDB 5.7, we are not programmers novice
users.

[1] https://aur.archlinux.org/account/ijann/
[2] https://aur.archlinux.org/pkgbase/mysql/