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