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

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/